Nikolay Puzanov 9f4fbe2499 Rename file
2022-12-01 22:04:50 +03:00

15 lines
312 B
Bash
Executable File

#!/usr/bin/env bash
exe=$(basename $0)
if [ -z "$DONOTUSEFIREJAIL" ]; then
exec firejail \
--quiet --noprofile \
--rlimit-cpu=5 \
--rlimit-as=250m \
--rlimit-fsize=250k \
"$exe" "$@"
else
exec timeout -v -s INT 5 "$exe" "$@"
fi