From 5ff0f621abeca4584bf63319c19db84dde4c4abd Mon Sep 17 00:00:00 2001
From: Ralph Ronnquist <ralph.ronnquist@gmail.com>
Date: Sat, 10 Jun 2023 09:40:55 +1000
Subject: [PATCH] added

---
 copy_and_run.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 copy_and_run.sh

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
-- 
2.39.2