diff -r 51aac2ea3cf4 -r e2c60fd8f61b .bashrc.obsolete
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.bashrc.obsolete	Wed Jan 16 14:20:34 2019 +0200
@@ -0,0 +1,5 @@
+
+if [[ $- == *i* ]]; then
+  bind '"\e/": dabbrev-expand'
+  bind '"\ee": edit-and-execute-command'
+fi