Skip to content

Instantly share code, notes, and snippets.

@meditans
Created July 11, 2018 12:46
Show Gist options
  • Save meditans/94d8a7e2e2b697d14ab272ead16b7c9b to your computer and use it in GitHub Desktop.
Save meditans/94d8a7e2e2b697d14ab272ead16b7c9b to your computer and use it in GitHub Desktop.
--- pakcs-2.0.2/scripts/pakcs.sh 2018-07-04 17:18:57.000000000 +0200
+++ pakcs-2.0.2/scripts/pakcs.sh.new 2018-07-11 14:33:43.200705585 +0200
@@ -118,7 +118,7 @@
# store rlwrap's history:
USERLWRAP=no
if tty -s ; then
- RLWRAP=`which rlwrap`
+ RLWRAP=`type -P rlwrap`
if [ -f "$PAKCSHOME/bin/sicstusprolog" -a -x "$RLWRAP" -a -d "$HOME" ] ; then
USERLWRAP=yes
fi
@@ -136,7 +136,7 @@
fi
if [ $USERLWRAP = yes ] ; then
- exec rlwrap -c -f "$PAKCSHOME/tools/rlwrap" "$REPL" ${1+"$@"}
+ exec rlwrap -a -c -f "$PAKCSHOME/tools/rlwrap" "$REPL" ${1+"$@"}
else
exec "$REPL" ${1+"$@"}
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment