diff options
| author | Junio C Hamano <gitster@pobox.com> | 2024-07-16 11:18:57 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-07-16 11:18:57 -0700 |
| commit | 12d49fd0282b5b602b8a510bdaaa28d18b7ac427 (patch) | |
| tree | c3d00cb3580cfbf5de57e4f98ef57b675a0aa555 | |
| parent | 5d71940ddab3196e071dab466d456fd0297056d9 (diff) | |
| parent | 58696bfcaacc50323e596112124b41242fde23de (diff) | |
| download | git-12d49fd0282b5b602b8a510bdaaa28d18b7ac427.tar.gz | |
Merge branch 'jc/where-is-bash-for-ci'
Shell script clean-up.
* jc/where-is-bash-for-ci:
ci: unify bash calling convention
| -rwxr-xr-x | ci/check-directional-formatting.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/check-directional-formatting.bash b/ci/check-directional-formatting.bash index e6211b141a..3cbbb7030e 100755 --- a/ci/check-directional-formatting.bash +++ b/ci/check-directional-formatting.bash @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This script verifies that the non-binary files tracked in the Git index do # not contain any Unicode directional formatting: such formatting could be used |