Reputation
1,527
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
2 15 21
Newest
 Yearling
Impact
~262k people reached

  • 0 posts edited
  • 0 helpful flags
  • 40 votes cast
Feb
28
awarded  Yearling
Feb
15
awarded  Nice Question
Dec
30
awarded  Notable Question
Oct
24
awarded  Guru
Aug
17
awarded  Popular Question
Jul
7
awarded  Popular Question
Apr
30
comment Ubuntu 15.04 fresh install: Can't rename gnome-terminal tabs
Thanks for the answer. It's a shame it's gone, I hope they add it back in the next release, in the meantime, I'll use the escape sequence instead of the right-click method.
Apr
30
accepted Ubuntu 15.04 fresh install: Can't rename gnome-terminal tabs
Apr
30
asked Ubuntu 15.04 fresh install: Can't rename gnome-terminal tabs
Mar
4
awarded  Good Question
Feb
28
awarded  Yearling
Feb
18
awarded  Necromancer
Jan
13
awarded  Popular Question
Aug
29
awarded  Good Answer
Jul
2
awarded  Curious
Apr
21
awarded  Good Answer
Apr
10
awarded  Good Question
Feb
28
awarded  Yearling
Jan
11
awarded  Enlightened
Jan
11
awarded  Nice Answer