diff --git a/run.sh b/run.sh index 8f924099911454d5581597f3c565142f6398c2ce..a8877f031ba3306d3a206ea628294d2190806a8a 100755 --- a/run.sh +++ b/run.sh @@ -15,11 +15,11 @@ fi mkdir -p "logs" chmod a+rwx "logs" -KERNFILE=$1 +KERNFILE="$1" docker run -it --rm \ - -v `realpath "$KERNFILE"`:/kernel \ - -v `realpath "os161-container/assignments"`:/assignments \ - -v `realpath "logs"`:/logs \ + -v "`realpath "$KERNFILE"`":/kernel \ + -v "`realpath "os161-container/assignments"`":/assignments \ + -v "`realpath "logs"`":/logs \ --entrypoint bash \ --name os161 \ os161-runner