added comment for "git for windows" bash
This commit is contained in:
@@ -1,6 +1,7 @@
|
|||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
set -uo pipefail
|
set -uo pipefail
|
||||||
|
|
||||||
|
# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
|
||||||
if [[ $# -ge 1 && $1 == "clean" ]]; then
|
if [[ $# -ge 1 && $1 == "clean" ]]; then
|
||||||
rm -r target/;
|
rm -r target/;
|
||||||
fi
|
fi
|
||||||
|
@@ -1,6 +1,7 @@
|
|||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
set -uo pipefail
|
set -uo pipefail
|
||||||
|
|
||||||
|
# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
|
||||||
if [[ ! -e dist ]]; then
|
if [[ ! -e dist ]]; then
|
||||||
mkdir dist;
|
mkdir dist;
|
||||||
fi
|
fi
|
||||||
|
@@ -1,6 +1,7 @@
|
|||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
set -uo pipefail
|
set -uo pipefail
|
||||||
|
|
||||||
|
# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
|
||||||
originDir=$(pwd);
|
originDir=$(pwd);
|
||||||
cd ~/zeitlaeufer/;
|
cd ~/zeitlaeufer/;
|
||||||
tmpDir="/tmp/zeitlaeufer_$RANDOM";
|
tmpDir="/tmp/zeitlaeufer_$RANDOM";
|
||||||
|
Reference in New Issue
Block a user