use bash for scripts
This commit is contained in:
parent
72671bd448
commit
6794ef320e
3 changed files with 3 additions and 3 deletions
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/sh
|
#!/bin/bash
|
||||||
|
|
||||||
./download_segments_diff.sh # downloads diff directory in tmp/diff
|
./download_segments_diff.sh # downloads diff directory in tmp/diff
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/sh
|
#!/bin/bash
|
||||||
|
|
||||||
out_dir="../segments4"
|
out_dir="../segments4"
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/sh
|
#!/bin/bash
|
||||||
|
|
||||||
out_dir="../segments4_diff"
|
out_dir="../segments4_diff"
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue