118 reputation
4
bio website
location
age
visits member for 2 years
seen Nov 9 at 11:07

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