You are here

Home » API reference » Realistic Dummy Content 7.2

kill.sh in Realistic Dummy Content 7.2

Same filename and directory in other branches
  1. 8.2 developer/kill.sh
#!/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.sh
View source 
  1. #!/bin/bash

  2. #

  3. # Kill the development environment if it exists.

  4. #

  5. 

  6. set -e

  7. 

  8. BASEPATH="$(pwd)"

  9. SCRIPTNAME="$(basename "$0")"

  10. 

  11. if [ ! -f "$BASEPATH"/"$SCRIPTNAME" ]; then

  12.   echo -e '[error] Please run this script from the developer directory of'

  13.   echo -e '        realistic_dummy_content, like this:'

  14.   echo -e ''

  15.   echo -e '            cd /path/to/realistic_dummy_content/developer'

  16.   echo -e "            ./$SCRIPTNAME"

  17.   echo -e ''

  18.   exit 1;

  19. fi

  20. 

  21. if [ -d "$BASEPATH"/tmp ]; then

  22.   chmod -R +w ./tmp

  23.   rm -rf ./tmp

  24. fi

  25. 

  26. ./docker-compose-in-docker.sh kill