add .inputrc to work around jline bug

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>

diff --git a/.inputrc b/.inputrc
new file mode 100644 (file)
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