1,881 reputation
52041
bio website endlessparentheses.com
location
age
visits member for 4 years, 7 months
seen Mar 5 at 16:18

Author of Endless Parentheses.

Expert at Emacs, Quantum Mechanics, Linux, Android Java, Lisp, C++.


Apr
6
revised Update an entry in the Messaging Menu without having to logout
edited title
Apr
6
asked Update an entry in the Messaging Menu without having to logout
Feb
10
awarded  Citizen Patrol
Feb
9
asked How can I autoclean my gnome main menu?
Jan
1
comment Hide the gnome-panel on one of the workspaces
@Roland I do, but I haven't found a way yet.
Jan
1
comment Hide the gnome-panel on one of the workspaces
Fortunately, I almost always use the keyboard to switch workspaces. It is a very shaky solution, but I think it's the best we're gonna get.
Dec
28
asked Hide the gnome-panel on one of the workspaces
Dec
27
awarded  Nice Question
Dec
24
accepted Can I let maximized windows reach behind the gnome-panel?
Dec
23
comment Can I let maximized windows reach behind the gnome-panel?
Yeah, it does work pretty well =). I'll give it another day or two of testing, but I'll probably accept it.
Dec
23
revised Can I let maximized windows reach behind the gnome-panel?
added 176 characters in body
Dec
23
asked Can I let maximized windows reach behind the gnome-panel?
Dec
11
awarded  Quorum
Dec
10
accepted Remotely run a command on a ssh-server with a script
Dec
3
comment Remotely run a command on a ssh-server with a script
The shutdown was really just an example, you can change "root" to "user", just to make sure less knowledgeable readers don't try to remotely login as root.
Dec
3
asked Remotely run a command on a ssh-server with a script
Dec
3
comment What's the risk of upgrading over SSH?
I think it's more relevant that, when the daemon is restarted, your upgrade will likely be terminated unfinished, because the process is running on the ssh session.
Dec
2
comment How do I find out which process is eating up my bandwidth?
It's been a while, but this answer is considerably simpler indeed.
Dec
2
accepted How do I find out which process is eating up my bandwidth?
Dec
2
accepted How can a script check if it's being run as root?