diff --git a/automation/restart.sh b/automation/restart.sh new file mode 100755 index 0000000..0d76aa1 --- /dev/null +++ b/automation/restart.sh @@ -0,0 +1,2 @@ +#!/usr/bin/bash +killall -9 swipl diff --git a/automation/rules b/automation/rules new file mode 100644 index 0000000..c6540b6 --- /dev/null +++ b/automation/rules @@ -0,0 +1 @@ +restart when modified:/server.pl diff --git a/start.sh b/start.sh new file mode 100755 index 0000000..eb6b35d --- /dev/null +++ b/start.sh @@ -0,0 +1,4 @@ +#!/bin/bash +while true; do + swipl -q -f ./server.pl -g main -t halt +done