151 reputation
12
bio website
location
age 40
visits member for 4 years, 1 month
seen Dec 23 '14 at 16:43

Jan
23
awarded  Necromancer
Jul
8
awarded  Editor
Jul
8
revised How to start a terminal with certain text already input on the command-line?
added trap, which allows the gnome-terminal window to be resized
Feb
28
awarded  Teacher
Dec
10
answered How to start a terminal with certain text already input on the command-line?