1,879 reputation
616
bio website
location Amsterdam, Netherlands
age 37
visits member for 3 years, 5 months
seen Dec 15 at 20:08

Programmer (Java / C), Linux/UNIX user, Network hobbyist.

More recently, sysadmin in a VMWare and Linux environment.


Sep
18
awarded  Notable Question
Jul
19
awarded  Yearling
Jun
2
revised Quickest way to rename files, without retyping directory path
If the directory does not exist, do not rename a local file.
Jun
2
suggested approved edit on Quickest way to rename files, without retyping directory path
May
12
awarded  Nice Answer
Feb
11
awarded  Popular Question
Jan
28
awarded  Nice Answer
Sep
28
awarded  Popular Question
Sep
12
comment How to understand pipes
@pabouk: I think we agree that most IO "objects" are manipulated using "file descriptor" and "streams". One exception though is UDP socket.
Jul
19
awarded  Yearling
Jul
9
answered How to remove multiple newlines at EOF?
Jul
9
answered How to remove multiple newlines at EOF?
May
31
awarded  Citizen Patrol
Mar
25
comment Avoiding busy waiting in bash, without the sleep command
This is not doing a sleep, this is still consuming stdin from the terminal.
Mar
18
accepted Avoiding busy waiting in bash, without the sleep command
Mar
18
comment Avoiding busy waiting in bash, without the sleep command
It works ! On debian, the package is bash-builtins. It only includes sources and the Makefile must be edited, but I was able to install sleep as a builtin. Thanks.
Mar
18
revised How to print only last column?
Add -r, simplify IFS, formating.
Mar
18
revised Avoiding busy waiting in bash, without the sleep command
mkdir done by mktemp
Mar
18
comment Avoiding busy waiting in bash, without the sleep command
Wow, this is what I am looking for, and I definitely learn something about loadable builtin: +1. I will try this, and yet it is the best answer.
Mar
18
suggested approved edit on Avoiding busy waiting in bash, without the sleep command