diff --git a/_web_server/firejailed.sh b/_web_server/firejailed.sh new file mode 100755 index 0000000..0ad4b44 --- /dev/null +++ b/_web_server/firejailed.sh @@ -0,0 +1,9 @@ +#!/usr/bin/env bash + +exe=$(basename $0) + +exec firejail --noprofile --quiet \ + --rlimit-cpu=1 \ + --rlimit-as=100m \ + --rlimit-fsize=1m \ + "$exe" "$@" diff --git a/_web_server/iverilog b/_web_server/iverilog new file mode 120000 index 0000000..bbad33e --- /dev/null +++ b/_web_server/iverilog @@ -0,0 +1 @@ +./firejailed.sh \ No newline at end of file diff --git a/_web_server/vvp b/_web_server/vvp new file mode 120000 index 0000000..bbad33e --- /dev/null +++ b/_web_server/vvp @@ -0,0 +1 @@ +./firejailed.sh \ No newline at end of file