added
authorRalph Ronnquist <ralph.ronnquist@gmail.com>
Fri, 9 Jun 2023 23:40:55 +0000 (09:40 +1000)
committerRalph Ronnquist <ralph.ronnquist@gmail.com>
Fri, 9 Jun 2023 23:40:55 +0000 (09:40 +1000)
copy_and_run.sh [new file with mode: 0755]

diff --git a/copy_and_run.sh b/copy_and_run.sh
new file mode 100755 (executable)
index 0000000..e1d247f
--- /dev/null
@@ -0,0 +1,15 @@
+#!/bin/bash
+#
+# Make an example into a given (non-existent) directory $1
+
+set -e
+
+if [ -z "$http_proxy" ] ; then
+    read X -p "Interrupt with ^C to set http_proxy, or push enter to continue:"
+fi
+
+mkdir "$1"
+cp *.sh *.cfg splash.png "$1"
+cd "$1"
+./mkit.sh
+exec ./vm.sh