Skip to content

Instantly share code, notes, and snippets.

@egi

egi/.inputrc

Created June 10, 2014 03:06
Show Gist options
  • Save egi/13bb44fa6e74527f36c7 to your computer and use it in GitHub Desktop.
Save egi/13bb44fa6e74527f36c7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
.inputrc
# complete case insensitively
set completion-ignore-case on
# makes completion of file and directory names easier
set show-all-if-ambiguous on
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment