From: Ralph Ronnquist <ralph.ronnquist@gmail.com>
Date: Fri, 9 Jun 2023 23:40:55 +0000 (+1000)
Subject: added
X-Git-Tag: good-1~11
X-Git-Url: https://git.rrq.au/?a=commitdiff_plain;h=5ff0f621abeca4584bf63319c19db84dde4c4abd;p=rrq%2Ftiniest.git

added
---

diff --git a/copy_and_run.sh b/copy_and_run.sh
new file mode 100755
index 0000000..e1d247f
--- /dev/null
+++ b/copy_and_run.sh
@@ -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