kill.sh in Realistic Dummy Content 8.2
Same filename and directory in other branches
#!/bin/bash # # Kill the development environment if it exists. # set -e BASEPATH="$(pwd)" SCRIPTNAME="$(basename "$0")" if [ ! -f "$BASEPATH"/"$SCRIPTNAME" ]; then echo -e '[error] Please run this script from the developer directory of' echo -e ' realistic_dummy_content, like this:' echo -e '' echo -e ' cd /path/to/realistic_dummy_content/developer' echo -e " ./$SCRIPTNAME" echo -e '' exit 1; fi if [ -d "$BASEPATH"/tmp ]; then chmod -R +w ./tmp rm -rf ./tmp fi ./docker-compose-in-docker.sh kill
File
developer/kill.shView source
- #!/bin/bash
- #
- # Kill the development environment if it exists.
- #
-
- set -e
-
- BASEPATH="$(pwd)"
- SCRIPTNAME="$(basename "$0")"
-
- if [ ! -f "$BASEPATH"/"$SCRIPTNAME" ]; then
- echo -e '[error] Please run this script from the developer directory of'
- echo -e ' realistic_dummy_content, like this:'
- echo -e ''
- echo -e ' cd /path/to/realistic_dummy_content/developer'
- echo -e " ./$SCRIPTNAME"
- echo -e ''
- exit 1;
- fi
-
- if [ -d "$BASEPATH"/tmp ]; then
- chmod -R +w ./tmp
- rm -rf ./tmp
- fi
-
- ./docker-compose-in-docker.sh kill