From a036043573330da5d8792416543570c0204e3f38 Mon Sep 17 00:00:00 2001
From: Matthew Strasiotto <mstr3336@uni.sydney.edu.au>
Date: Thu, 17 Sep 2020 19:59:51 +1000
Subject: [PATCH] Finally fixed env escapes

---
 vagrantfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/vagrantfile b/vagrantfile
index 3400efe..5208bdb 100644
--- a/vagrantfile
+++ b/vagrantfile
@@ -33,11 +33,11 @@ Vagrant.configure("2") do |config|
       apk del $build_deps
   SCRIPT
 
-  $serve_script = <<-SCRIPT
-    cat << EOD > /usr/bin/serve
+  $serve_script = <<-'SCRIPT'
+    cat << EOD | sed -e  "s#\\\\{#{#g; s#\\\\}#}#g" > /usr/bin/serve
 #!/usr/bin/env bash
-URL="${1:-http://localhost:5000}"
-/usr/bin/tty-server -web_address :5000 --sender_address :6543 -url "$URL"
+URL="$\\{1:-http://localhost:5000\\}"
+/usr/bin/tty-server -web_address :5000 --sender_address :6543 -url "$\\{URL\\}"
 EOD
     chmod a+x /usr/bin/serve
   SCRIPT