diff options
author | libele | 2022-05-03 17:30:40 -0500 |
---|---|---|
committer | libele | 2022-05-03 17:30:40 -0500 |
commit | 8adcd27953d3420cd3e138140799082f9424d02e (patch) | |
tree | 11407e1f7a107cccb0342ecc1ad68b90b8c38fdf /wrapper.sh | |
parent | 554f9d90c4d813c1b650915e5a048758a65f0ed4 (diff) | |
download | aur-8adcd27953d3420cd3e138140799082f9424d02e.tar.gz |
add simple wrapper
Diffstat (limited to 'wrapper.sh')
-rwxr-xr-x | wrapper.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/wrapper.sh b/wrapper.sh new file mode 100755 index 000000000000..aa31a9d36e84 --- /dev/null +++ b/wrapper.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +LIBPATH=/usr/share/inform7 +INFORM7="$LIBPATH/inform7" +$INFORM7 --no-census-update -internal $LIBPATH "$@" |