Use /usr/bin/env in shebang lines

tautschnig · tautschnig · commit 46e39f731840 · 2023-12-18T19:59:25.000Z
This improves portability as not all systems have bash, perl, or python
in /usr/bin (FreeBSD is one such example).
diff --git a/.githooks/pre-commit b/.githooks/pre-commit
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Runs scripts/cpplint.py on the modified files
 # Based on https://github.com/s0enke/git-hooks/
 #
diff --git a/.github/workflows/pull-request-check-clang-format.sh b/.github/workflows/pull-request-check-clang-format.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Stop on errors
 set -e
diff --git a/.github/workflows/pull-request-check-cpplint.sh b/.github/workflows/pull-request-check-cpplint.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Stop on errors
 set -e
diff --git a/doc/doxygen-root/doxygen-markdown/markdown.sh b/doc/doxygen-root/doxygen-markdown/markdown.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -euo pipefail
 
diff --git a/doc/slides/cbmc-latex-beamer/do_figures b/doc/slides/cbmc-latex-beamer/do_figures
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 FIG="cbmc-flow.fig frontend.fig"
 
diff --git a/integration/linux/compile_linux.sh b/integration/linux/compile_linux.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Fail on errors
 # set -e # not for now
diff --git a/jbmc/regression/jbmc-json-ui/chain.sh b/jbmc/regression/jbmc-json-ui/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 JBMC_PATH=$1
 shift
diff --git a/jbmc/regression/jbmc/deterministic_assignments_json/generate-json.sh b/jbmc/regression/jbmc/deterministic_assignments_json/generate-json.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 mvn package
 java -cp target/jsonGenerator-1.0-SNAPSHOT-jar-with-dependencies.jar:. org.cprover.JsonGenerator
diff --git a/jbmc/regression/strings-smoke-tests/performance.py b/jbmc/regression/strings-smoke-tests/performance.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 '''
 This script collects the running times of the tests present in the current
diff --git a/regression/acceleration/accelerate.sh b/regression/acceleration/accelerate.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cleanup()
 {
diff --git a/regression/contracts-dfcc/chain.sh b/regression/contracts-dfcc/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/contracts/chain.sh b/regression/contracts/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/extract_type_header/chain.sh b/regression/extract_type_header/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-analyzer-simplify/chain.sh b/regression/goto-analyzer-simplify/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-harness-multi-file-project/chain.sh b/regression/goto-harness-multi-file-project/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -x
 set -e
diff --git a/regression/goto-harness/chain.sh b/regression/goto-harness/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-inspect/chain.sh b/regression/goto-inspect/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-instrument-chc/chain.sh b/regression/goto-instrument-chc/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-instrument-json/chain.sh b/regression/goto-instrument-json/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-instrument-typedef/chain.sh b/regression/goto-instrument-typedef/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-instrument-wmm-core/chain.sh b/regression/goto-instrument-wmm-core/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-instrument/chain.sh b/regression/goto-instrument/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/goto-synthesizer/chain.sh b/regression/goto-synthesizer/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/k-induction/chain.sh b/regression/k-induction/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/linking-goto-binaries/chain.sh b/regression/linking-goto-binaries/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/memory-analyzer/chain.sh b/regression/memory-analyzer/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/snapshot-harness/chain.sh b/regression/snapshot-harness/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/solver-hardness/chain.sh b/regression/solver-hardness/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cbmc=$1
 
diff --git a/regression/symtab2gb-cbmc/chain.sh b/regression/symtab2gb-cbmc/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/symtab2gb/chain.sh b/regression/symtab2gb/chain.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/test-script/program_runner.sh b/regression/test-script/program_runner.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/regression/test.pl b/regression/test.pl
@@ -1,4 +1,4 @@
-#!/usr/bin/perl
+#!/usr/bin/env perl
 
 use subs;
 use strict;
diff --git a/scripts/bash-autocomplete/cbmc.sh.template b/scripts/bash-autocomplete/cbmc.sh.template
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 _cbmc_autocomplete()
 {
   #list of all switches cbmc has. IMPORTANT: in the template file, this variable must be defined on line 5.
diff --git a/scripts/bash-autocomplete/extract_switches.sh b/scripts/bash-autocomplete/extract_switches.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/scripts/benchmark/process_wrapper.sh b/scripts/benchmark/process_wrapper.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 _term() {
   # Remove the handler first
diff --git a/scripts/build_doxygen.sh b/scripts/build_doxygen.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -euo pipefail
 
diff --git a/scripts/check_help.sh b/scripts/check_help.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/scripts/csmith.sh b/scripts/csmith.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # This script runs CSmith to generate N examples, and for each of them:
 # 1. Compiles the code with the system compiler.
diff --git a/scripts/format_classpath.sh b/scripts/format_classpath.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 unameOut="$(uname -s)"
 case "${unameOut}" in
diff --git a/scripts/make-rpm b/scripts/make-rpm
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 svn export http://svn.cprover.org/svn/cbmc
 mv cbmc cbmc-3.9
diff --git a/scripts/run_diff.sh b/scripts/run_diff.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/scripts/run_doxygen.sh b/scripts/run_doxygen.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 echo "Running doxygen version $(doxygen --version)"
 
diff --git a/scripts/run_lint.sh b/scripts/run_lint.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 script_folder=`dirname $0`
 
diff --git a/scripts/run_test_upload_cov_report.sh b/scripts/run_test_upload_cov_report.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -eou pipefail
 FLAG=$1
diff --git a/scripts/string_table_check.sh b/scripts/string_table_check.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 whitelist=" \
 "
diff --git a/src/ansi-c/compiler_headers/get-gcc-builtins.sh b/src/ansi-c/compiler_headers/get-gcc-builtins.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
diff --git a/src/cbmc/dist-linux b/src/cbmc/dist-linux
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 umask u=rwx,g=rx,o=rx
 
 make
diff --git a/src/cbmc/dist-macos b/src/cbmc/dist-macos
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 umask u=rwx,g=rx,o=rx
 
 # http://s.sudre.free.fr/Stuff/PackageMaker_Howto.html
diff --git a/src/cbmc/dist-src b/src/cbmc/dist-src
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 umask u=rwx,g=rx,o=rx
 
 VERSION=`./cbmc --version`
diff --git a/src/cbmc/dist-win b/src/cbmc/dist-win
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 make
 strip cbmc.exe
diff --git a/src/goto-cc/dist-linux b/src/goto-cc/dist-linux
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 make
 strip goto-cc
 
diff --git a/src/goto-cc/dist-win b/src/goto-cc/dist-win
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 make
 strip goto-cc.exe
diff --git a/src/goto-diff/scripts/diff-filter.pl b/src/goto-diff/scripts/diff-filter.pl
@@ -1,4 +1,4 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env perl -w
 
 use strict;
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash`
	`1`	`+#!/usr/bin/env bash`
`2`	`2`	`# Runs scripts/cpplint.py on the modified files`
`3`	`3`	`# Based on https://github.com/s0enke/git-hooks/`
`4`	`4`	`#`