# HG changeset patch # User Edho Prima Arief # Date 1304822526 -25200 # Node ID 81d132d8c7576a4c78fb045815a1b9d25c5de853 # Parent be4d0b045487c25e33bbe8686f254f205575203d [inputrc] Added history search for gnome terminal version. diff -r be4d0b045487 -r 81d132d8c757 inputrc --- a/inputrc Thu May 05 01:13:58 2011 +0700 +++ b/inputrc Sun May 08 09:42:06 2011 +0700 @@ -24,6 +24,9 @@ #Up/Down "\e[A": history-search-backward "\e[B": history-search-forward +#GNOME Terminal +"\eOA": history-search-backward +"\eOB": history-search-forward #Misc "\C-w": backward-kill-word