Reputation
639
Top tag
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
7 10
Newest
 Yearling
Impact
~131k people reached

  • 0 posts edited
  • 0 helpful flags
  • 3 votes cast
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