8,062 reputation
1241
bio website
location Innsbruck, Austria
age
visits member for 1 year, 10 months
seen May 17 at 8:51
stats profile views 517

Some advertising for new sites and Area51 proposals:


Apr
24
awarded  Nice Answer
Apr
17
revised Cannot boot from usb
deleted 33 characters in body; edited title
Mar
22
reviewed Close Quoting curly braces in the shell
Mar
14
comment What's the reason for this specific “rm” sequence in the xkcd joke?
Recent rms will fail on the last command with rm: it is dangerous to operate recursively on ‘/’; other than that rm doesn't require access to any resource after initialization. A reason for using multiple commands might be that the user might have different access permissions to those directories.
Feb
26
comment What is the default jobs argument for make?
None that I know of. But many processes could compute in a couple of cylcles how much memory they need according to the size of their input(s). If they were able to tell the system (simplified example: they might malloc() everything they need and claim explicitely that they now drop their privilege to malloc()), the system could then use better scheduling.
Feb
26
comment What is the default jobs argument for make?
Unlimited would totally make sense… if only the system was good enough to schedule tasks taking memory consumption into account (unfortunately, unixes does not require processes to provide memory consumption estimates or other resource-consumption-related guaranties).
Feb
3
reviewed No Action Needed Which Gentoo profile?
Feb
3
reviewed Reviewed “watch” command not found in Cygwin?
Feb
3
reviewed Satisfactory how to use grep for specific files?
Feb
3
reviewed Needs Improvement How to switch from TTY to KDE in Oracle Linux
Feb
3
reviewed Needs Improvement How to diff two folders by inodes
Feb
3
reviewed Satisfactory Difference between authpriv and auth?
Feb
3
reviewed Satisfactory What does the term static variable mean in unix speak?
Feb
3
reviewed Excellent tar: how can I exclude intermediate directories but include leaf directories?
Feb
3
reviewed Satisfactory Listing script's file dependencies
Feb
3
awarded  Custodian
Feb
3
reviewed Excellent In Unix speak what is the difference between a shell script and an executable?
Feb
3
reviewed Needs Improvement How do I send a shutdown event to a QEMU guest (OpenBSD)?
Feb
3
reviewed Satisfactory Speed up playback rate of online videos in web browser on Debian Linux
Jan
18
awarded  Self-Learner