projects
/
experiments
/
gstreamer.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7d7a3c3
)
ges-cut-clip.sh: user bash in the shebang line
author
Antonio Ospite <ao2@ao2.it>
Tue, 14 Feb 2017 08:43:40 +0000
(09:43 +0100)
committer
Antonio Ospite <ao2@ao2.it>
Tue, 14 Feb 2017 08:43:40 +0000
(09:43 +0100)
The script uses some bash-only functionalities, so use bash in the
shebang line.
shell/ges-cut-clip.sh
patch
|
blob
|
history
diff --git
a/shell/ges-cut-clip.sh
b/shell/ges-cut-clip.sh
index
544ef06
..
8ffc814
100755
(executable)
--- a/
shell/ges-cut-clip.sh
+++ b/
shell/ges-cut-clip.sh
@@
-1,4
+1,4
@@
-#!/bin/sh
+#!/bin/
ba
sh
set -e