projects
/
rrq
/
tiniest.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Use partition label to find cdrom
[rrq/tiniest.git]
/
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