339 reputation
210
bio website kasterma.net
location Amsterdam, Netherlands
age 38
visits member for 4 years, 2 months
seen Mar 16 '13 at 15:36

Academic turned software developer.


Jul
2
awarded  Curious
Nov
17
awarded  Autobiographer
Sep
22
awarded  Popular Question
Feb
27
awarded  Notable Question
Dec
27
comment Gnome-terminal slow to start from launcher, fast when started from terminal
It did keep happening launching duplicate copies as well. Since then I have repaved the system and the problem did not recur; I never figured out why it acted the way it did, and now I never will.
Oct
8
awarded  Yearling
Sep
6
comment Gnome-terminal slow to start from launcher, fast when started from terminal
@klapaucius I tried a new user, but that one has the same effect. Since there are no other answers, seems like I'll have to go the reinstall route. :-( I have no idea how to approach this otherwise.
Sep
6
accepted What is the state of the Linux Standard Base?
Aug
31
asked Gnome-terminal slow to start from launcher, fast when started from terminal
Jul
6
awarded  Popular Question
Jan
25
comment Any way to sync directory structure when the files are already on both sides?
Are you sure the name uniquely determines the content of a file, otherwise you should consider comparing files by their checksums.
Jan
25
comment What is the most advanced video editing FLOSS?
@Tshepang, == most reliable?
Jan
24
comment Different linux distros sharing the same /home folder?
I have a setup somewhat like this, but with a ~/Docs/ folder. That is where all "my own data" is, outside of this is other program data (specific to a machine or not). Key config files are regularly backed up from ~/ to ~/Docs/configfiles/
Jan
21
revised What are some excellent Emacs utter beginner resources?
fixed url
Jan
21
comment What are some excellent Emacs utter beginner resources?
Sorry about that, should be orgmode.org. I'll correct the answer.
Jan
20
answered What are some excellent Emacs utter beginner resources?
Dec
30
asked What is the state of the Linux Standard Base?
Dec
17
answered How do you bulk move files up one directory safely?
Dec
17
comment sh startup files over ssh
In your example all you are doing is setting environment variables, what else do you want to do?
Dec
17
awarded  Editor