Compare commits
2 Commits
a21c318d90
...
941e15389f
Author | SHA1 | Date | |
---|---|---|---|
|
941e15389f | ||
|
9addfe51d7 |
5
cleanupRunDirs.sh
Normal file
5
cleanupRunDirs.sh
Normal file
@@ -0,0 +1,5 @@
|
|||||||
|
#!/usr/bin/env bash
|
||||||
|
set -uo pipefail
|
||||||
|
|
||||||
|
# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
|
||||||
|
rm -rf /tmp/zeitlaeufer_*;
|
@@ -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