554 reputation
510
bio website mikewaters.net
location Babylon, NY
age 38
visits member for 4 years, 9 months
seen 15 hours ago

Mar
25
revised Terminal *output* history?
Better answer given two years later.
Dec
21
revised How to change font size in gnome-shell panel
added 368 characters in body
Sep
14
revised Terminal *output* history?
added 575 characters in body
Aug
24
revised Gnome+NX clipboard behavior; auto-copy on select?
added 341 characters in body