Skip to content

Instantly share code, notes, and snippets.

@davidoort
Last active October 28, 2020 11:07
Show Gist options
  • Save davidoort/24347439cb925a27d97bf8e236a53514 to your computer and use it in GitHub Desktop.
Save davidoort/24347439cb925a27d97bf8e236a53514 to your computer and use it in GitHub Desktop.
History search bash
# Run the following in your terminal replacing USERNAME by your username
# Incremental history searching
sudo bash -c 'cat > /home/USERNAME/.inputrc << "EOF"
"\e[A": history-search-backward
"\e[B": history-search-forward
"\e[C": forward-char
"\e[D": backward-char
EOF'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment