Reputation
1,272
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
2 12 18
Impact
~183k people reached

  • 0 posts edited
  • 0 helpful flags
  • 38 votes cast
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
Nov
18
revised Can't use PHP extension Mcrypt in Ubuntu 13.10 (Nginx, PHP-FPM)
Added link to Ubuntu bug
Nov
2
awarded  Popular Question
Oct
21
accepted Can't use PHP extension Solr in Ubuntu 13.10 (Apache)
Oct
18
answered Can't use PHP extension Solr in Ubuntu 13.10 (Apache)
Oct
18
revised Can't use PHP extension Mcrypt in Ubuntu 13.10 (Nginx, PHP-FPM)
Put in correct answer
Oct
18
asked Can't use PHP extension Solr in Ubuntu 13.10 (Apache)