473 reputation
7
bio website martin.von-gagern.net
location Germany
age
visits member for 10 months
seen May 15 at 17:04
stats profile views 12

Working at university on the borderline between mathematics and computer sciences.


May
15
comment sed couldn't flush stdout no space left on device?
Are there any symlinks in that path? Try cd /home/gocs1/LOG/; pwd -P to ensure that you are still inside the home directory.
May
15
answered Opera, Firefox has no kiosk option like Chrome gives it openly?
Apr
14
revised how to use syslog to avoid log file being garbled when multiple proceses are trying to write to the same log fille?
Mention syslog daemon
Apr
12
answered how to use syslog to avoid log file being garbled when multiple proceses are trying to write to the same log fille?
Apr
12
awarded  Scholar
Apr
12
accepted Prompt for confirmation for every command
Apr
12
asked Prompt for confirmation for every command
Apr
2
revised print last field from line + alternative for awk
Incorporate suggestion with -an
Apr
2
revised print last field from line + alternative for awk
Suppressing trailing spaces
Apr
2
comment unionfs filesystem
Also consider union mounts. See lwn.net/Articles/396020 for implementation details and some (admittedly biased) comparison.
Apr
2
answered print last field from line + alternative for awk
Apr
2
answered Environment of another user in a child process
Mar
19
comment command to zip multiple directories into individual zip files
The */ names every direct subdirectory, not every descendant directory. So you'll only get zips for the uppermost level, just the way you want them. The version with echo in it would have demonstrated that aspect. Zipping every nested directory into its own file would in fact be more work, and probably best solved using find -type d among other tricks.
Mar
19
answered command to zip multiple directories into individual zip files
Mar
4
revised Detailed sparse file information on Linux
Typo
Mar
3
awarded  Revival
Feb
15
answered Why can't tr read from /dev/urandom on OSX?
Feb
15
comment Writing /dev/random to file?
I tend to write head -c 123 /dev/urandom to read a given amount of data from a device. I'd expect this to be less affected by the incomplete block scenario. Might be less performant, though.
Jan
16
answered Encoding Problem: Qt Apps delete all non ASCII chars from files
Nov
14
awarded  Commentator