diff options
author | Ben Sima <ben@bsima.me> | 2020-03-31 13:26:00 -0700 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2020-03-31 13:29:46 -0700 |
commit | 721cca4b1372e222c6841ddc57bb952271d72dc7 (patch) | |
tree | fcb6d81e7b5a7da87f7685ff93cf6c2633d346f7 | |
parent | 2d2481ac68afb824342eaef301ab471d2128c289 (diff) |
Use ./serval to deploy serval production server
The scheme version of this is currently useless anyway.
-rwxr-xr-x | serval | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/usr/bin/env bash # -# serval wrapper script +# deploy serval instance # -exec guile -e '(@ (Com Simatime Serval) main)' -s Com/Simatime/Serval.scm "$@" +./bild Com.Simatime.Serval && ./push Com.Simatime.Serval serval.simatime.com |