Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
4
Newest
 Scholar
Impact
~246 people reached

  • 0 posts edited
  • 0 helpful flags
  • 35 votes cast
Mar
25
comment Bash History Search (CTRL+R) in Ubuntu Suggestions?
I don't think so - I have edited the question to hopefully make it clearer.
Mar
25
revised Bash History Search (CTRL+R) in Ubuntu Suggestions?
tried to clarify intent
Mar
24
comment Bash History Search (CTRL+R) in Ubuntu Suggestions?
Thanks, but AFAICS your approach works in a terminal and with a specific key binding. In a terminal, I can already use CTRL+R to get a wonderful incremental history search. However, I would like to get this search tied in with the Ubuntu (Gnome) suggestions activated through the Windows key.
Sep
16
awarded  Scholar
Sep
16
comment How to change Gnome Media Pop-Up Option for Removable Hard Drive
Great, thnx! Worked without a shell restart.
Sep
16
accepted How to change Gnome Media Pop-Up Option for Removable Hard Drive
Sep
15
asked How to change Gnome Media Pop-Up Option for Removable Hard Drive
Jul
20
awarded  Editor
Jul
20
comment Bash History Search (CTRL+R) in Ubuntu Suggestions?
As far as I can see, the dialog which you get for ALT+F2 provides no access to the bash history.
Jul
20
revised Bash History Search (CTRL+R) in Ubuntu Suggestions?
added 64 characters in body
Mar
7
awarded  Student
Mar
7
asked Bash History Search (CTRL+R) in Ubuntu Suggestions?
Nov
1
awarded  Supporter