Improve portability of shebangs

doc/examples/elim2_char1073741827.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -e 2 -g 2 -f elim_char1073741827.ms -o elim2_char1073741827.res

doc/examples/elim_char1073741827.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -e 1 -g 2 -f elim_char1073741827.ms -o elim_char1073741827.res

doc/examples/empty_char0.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -f empty_char0.ms -o empty_char0.res

doc/examples/grevlex_char1073741827.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -g 2 -f grevlex_char1073741827.ms -o grevlex_char1073741827.res

doc/examples/grevlex_lm_char1073741827.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -g 1 -f grevlex_char1073741827.ms -o grevlex_lm_char1073741827.res

doc/examples/hypersurface_char0.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -f hypersurface_char0.ms -o hypersurface_char0.res

doc/examples/param_and_reals_char0.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -P 1 -f param_char0.ms -o param_and_reals_char0.res

doc/examples/param_char0.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -P 2 -f param_char0.ms -o param_char0.res

doc/examples/param_char65521.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -P 2 -f param_char65521.ms -o param_char65521.res

doc/examples/param_simple.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -P 2 -f param_simple.ms -o param_simple.res

doc/examples/reals_dim0.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -f reals_dim0.ms -o reals_dim0.res

doc/examples/reals_dim0_prec256.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -p 256 -f reals_dim0.ms -o reals_dim0_prec256.res

doc/examples/saturate_char1073741827.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -S -g 2 -f saturate_char1073741827.ms -o saturate_char1073741827.res

doc/examples/simple_char0.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -f simple_char0.ms -o simple_char0.res

doc/examples/simple_char65521.sh

@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 ../../msolve -f simple_char65521.ms -o simple_char65521.res

test/diff/diff_F4SAT-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=F4SAT-31
 

test/diff/diff_F4SAT-byone-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=F4SAT-byone-31
 

test/diff/diff_bug_2nd_prime_bad.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=bug-2nd-prime-bad
 

test/diff/diff_bug_68.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=bug_68
 

test/diff/diff_bug_empty_tracer.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=bug-empty-tracer
 

test/diff/diff_cp_d_3_n_4_p_2.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=cp_d_3_n_4_p_2
 

test/diff/diff_cyclic5-16.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=cyclic5-16
 

test/diff/diff_cyclic5-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=cyclic5-31
 

test/diff/diff_cyclic5-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=cyclic5-qq
 

test/diff/diff_eco10-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=eco10-31
 

test/diff/diff_eco6-16.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=eco6-16
 

test/diff/diff_eco6-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=eco6-31
 

test/diff/diff_eco6-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=eco6-qq
 

test/diff/diff_elim-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=elim-31
 

test/diff/diff_elim-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=elim-qq
 

test/diff/diff_f4sat-field-char.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=f4sat-field-char
 

test/diff/diff_f4sat-is-saturated-check.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=f4sat-is-saturated-check
 

test/diff/diff_f4sat-zero-input.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=f4sat-zero-input
 

test/diff/diff_groebner-g2.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=groebner-g2
 

test/diff/diff_henrion5-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=henrion5-qq
 

test/diff/diff_input-overflow-16.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=input-overflow-16
 

test/diff/diff_issue_230.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=issue_230
 

test/diff/diff_issue_230_squared.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=issue_230_squared
 

test/diff/diff_kat6-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=kat6-31
 

test/diff/diff_kat7-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=kat7-qq
 

test/diff/diff_linear-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=linear-qq
 

test/diff/diff_maxbitsize-bug.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=maxbitsize-bug
 

test/diff/diff_mq_2_1.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=mq_2_1
 

test/diff/diff_multy-16.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=multy-16
 

test/diff/diff_multy-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=multy-31
 

test/diff/diff_multy-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=multy-qq
 

test/diff/diff_nf_16.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nf-16
 

test/diff/diff_nf_31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nf-31
 

test/diff/diff_nf_8.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nf-8
 

test/diff/diff_nf_lm_bug.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nf-lm-bug
 

test/diff/diff_nonradical_radicalshape-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nonradical_radicalshape-31
 

test/diff/diff_nonradical_radicalshape-no-square-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nonradical_radicalshape-no-square-31
 

test/diff/diff_nonradical_radicalshape-no-square-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nonradical_radicalshape-no-square-qq
 

test/diff/diff_nonradical_radicalshape-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nonradical_radicalshape-qq
 

test/diff/diff_nonradical_shape-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nonradical_shape-31
 

test/diff/diff_nonradical_shape-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=nonradical_shape-qq
 

test/diff/diff_one-16.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=one-16
 

test/diff/diff_one-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=one-31
 

test/diff/diff_one-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=one-qq
 

test/diff/diff_radical_shape-31.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=radical_shape-31
 

test/diff/diff_radical_shape-qq.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=radical_shape-qq
 

test/diff/diff_realroot-extraction-exact-root.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=realroot-extraction-exact-root
 

test/diff/diff_realroot1.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 #test file for real root extraction with adaptative precision
 #For this test file, one coordinate of one solutions is very close to 0

test/diff/diff_reals_dim0-chgvar.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=reals_dim0-chgvar
 

test/diff/diff_reals_dim0-extract.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=reals_dim0-extract
 

test/diff/diff_reals_dim0-swapvar.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=reals_dim0-swapvar
 

test/diff/diff_reals_dim0.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=reals_dim0
 

test/diff/diff_source.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 $(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
       -P 2 -d 0 -l 2 -t 1

test/diff/diff_test-lifting2.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 file=test-lifting2