Commit 41f2c6 Add helper scripts

4 files Authored and Committed by Dan Frumin 3 years ago
Add helper scripts

    
1 @@ -19,4 +19,5 @@
2   wget http://co-dan.github.io/static/js/codemirror.js -O common/static/js/codemirror.js
3   wget http://co-dan.github.io/static/js/haskell.js -O common/static/js/haskell.js
4   wget http://co-dan.github.io/static/js/bootstrap.min.js -O common/static/js/bootstrap.min.js
5 - cp -R common/* /idia/run/common/
6 + cp -R common/* /idia/run/common/ &&
7 + cp scripts/* /idia/run/bin/ 
8 \ No newline at end of file
 1 @@ -0,0 +1,12 @@
 2 + #!/bin/bash
 3 + # run after rebooting
 4 + cd /idia/run/workers/worker1
 5 + mount --bind /home/vagrant/.ghc ./home/vagrant/.ghc
 6 + mount --bind /home/vagrant/ghc ./home/vagrant/ghc
 7 + mount --bind /home/vagrant/.cabal ./home/vagrant/.cabal
 8 + mount --bind /home/vagrant/.ghcjs ./home/vagrant/.ghcjs
 9 + cd /idia/run/workers/worker2
10 + mount --bind /home/vagrant/.ghc ./home/vagrant/.ghc
11 + mount --bind /home/vagrant/ghc ./home/vagrant/ghc
12 + mount --bind /home/vagrant/.cabal ./home/vagrant/.cabal
13 + mount --bind /home/vagrant/.ghcjs ./home/vagrant/.ghcjs
1 @@ -0,0 +1,6 @@
2 + #!/bin/sh
3 + until ./scotty-pastebin; do
4 +     echo "Server crashed with exit code $?.  Respawning.." >&2
5 +     sleep 1
6 + done
7 + 
1 @@ -0,0 +1,3 @@
2 + #!/bin/bash
3 + runcon -u system_u -r system_r -t idia_service_t ./eval-service
4 +