diff options
author | Jonas Gunz <himself@jonasgunz.de> | 2020-10-08 02:44:11 +0200 |
---|---|---|
committer | Jonas Gunz <himself@jonasgunz.de> | 2020-10-08 02:44:11 +0200 |
commit | 4541bf611508565610a99f8036b3d49009a52518 (patch) | |
tree | 59bd4c53cf47fd658de8713fc41a3b4dca3a2718 | |
parent | d293b34578bcf856885ed30774d88e42f406aed5 (diff) | |
download | minecraft-isekai-4541bf611508565610a99f8036b3d49009a52518.tar.gz |
runner unused function
-rwxr-xr-x | runner.sh | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -71,12 +71,6 @@ function fail() { exit 1 } -function stdin_redirector(){ - while [ -p stdin ]; do - cat stdin - done -} - [ -e settings.sh ] && source settings.sh \ || >&2 echo "WARNING: settings.sh not found." # settings.sh |