From: Colin Patrick Mccabe Date: Wed, 21 May 2014 22:18:27 +0000 (-0700) Subject: add .inputrc to work around jline bug X-Git-Url: http://club.cc.cmu.edu/~cmccabe/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=178e2f8295f04cdb781e0652b26dc3cd569bd54f;p=cmccabe-etc add .inputrc to work around jline bug Signed-off-by: Colin McCabe --- diff --git a/.inputrc b/.inputrc new file mode 100644 index 0000000..00d5003 --- /dev/null +++ b/.inputrc @@ -0,0 +1,16 @@ +# +# For some reason, jline reads this file, even though it's supposed to be used +# only by the readline library. jline sometimes spews warnings like this when +# reading the file: +# +# ... +# [INFO] Unable to bind key for unsupported operation: backward-delete-word +# ... +# +# After some googling, I that adding the following magic incantation would +# prevent this. Reference: +# https://groups.google.com/forum/#!msg/simple-build-tool/ShikT6VAd_g/edoQUic4F44J +# +$if Bash + Space: magic-space +$endif