copy_and_run.sh

   1 #!/bin/bash
   2 #
   3 # Make an example into a given (non-existent) directory $1
   4
   5 set -e
   6
   7 if [ -z "$http_proxy" ] ; then
   8     read X -p "Interrupt with ^C to set http_proxy, or push enter to continue:"
   9 fi
  10
  11 mkdir "$1"
  12 cp *.sh *.cfg splash.png "$1"
  13 cd "$1"
  14 ./mkit.sh
  15 exec ./vm.sh