1,621 reputation
519
bio website none
location Copenhagen, Denmark
age 39
visits member for 1 year, 8 months
seen 7 hours ago
stats profile views 71

Long-time Linux user (since 1994). Currently on Ubuntu 12.04, using the Unity interface.


Sep
18
comment List only regular files (but not directories) in current directory
@rahmu I was for something similar to ls -d */, which is short, easy to type, and easy to understand. So I'm pretty happy with Ulrich Dangel's answer, even though I'm not using zsh.
Sep
18
comment List only regular files (but not directories) in current directory
zsh surely has some real nice features. Maybe I should switch...
Sep
18
asked List only regular files (but not directories) in current directory
Sep
16
awarded  Yearling
Sep
7
answered How to login from remote server to my own PC?
Sep
7
comment How to login from remote server to my own PC?
This only works if the PC is actually directly connected to the internet, which is pretty unlikely.
Sep
6
awarded  Popular Question
Sep
4
comment Shell script to execute a command with iteration
You forgot the host=localhost part in your code. Also why don't you just do for i in *.tab? And what is that code assigning to variable j for?
Sep
4
comment Subprocess.call() and gunzip error
What errors do you get when you use shell=False? It works for me when I do that.
Sep
4
comment Subprocess.call() and gunzip error
Why don't you use the gzip package? It's in the standard library.
Sep
4
revised Reorder fields/characters with cut command
Better title, some smaller formatting
Sep
4
suggested suggested edit on Reorder fields/characters with cut command
Aug
31
revised Flush 'tail -f' buffer?
corrected formatting
Aug
31
suggested suggested edit on Flush 'tail -f' buffer?
Aug
22
answered Is there a JVM daemon?
Aug
22
answered Why unix mv program doesn't need -R (recursive) option for directories but cp does need it?
Aug
8
comment How to list console and kernel fonts?
The package is named console-tools (note the -)
Aug
7
comment Batch copy to multiple directories
@Gilles There's an error in the script: $slice should be $args
Aug
7
comment Best way to start .sh file on boot
Unfortunately, this does not start the script at boot, only when you log in.
Aug
2
comment Looping over directory entries in bash and saving to an array
What does "doesn't work" mean? Please provide the output you get