3,168 reputation
1530
bio website None
location California, USA
age 54
visits member for 5 years, 5 months
seen 22 hours ago
Long-time Informix user and developer, experienced in C and Unix (many variants). Email: jonathan.leffler@gmail.com

Dec
20
revised What is the reason for rmdir(1) and rm(1) to co-exist?
Remove thanks
Dec
20
revised What is the reason for rmdir(1) and rm(1) to co-exist?
Fix trivial typos
Nov
21
revised Why is Java JRE running on my computer?
Fix trivial typos
Nov
21
revised Why is Java JRE running on my computer?
Fix trivial typos
Sep
25
revised Why version of my Darwin is 10.3, while I have Mac OS 10.6?
Update - new Mac OS X versions, Darwin versions, valgrind versions.
Aug
19
revised What is the reason for rmdir(1) and rm(1) to co-exist?
Update the status of the URLs - they are working today.
Jun
10
revised Using sed get substring between two double quotes
Add note on why original command didn't work as intended.
Jan
21
revised What prevents rm /dev/null?
Fix trivial typos
Sep
10
revised Running multiple operating systems on one laptop
rolled back to a previous revision
Mar
23
revised What does this mean? $ . test.sh
Clarify slightly
Aug
24
revised Does tar preserve links?
Fix trivial typos
Jul
26
revised Why can't I mount the same filesystem at multiple points, and why can't a mount-point inode reference count be > 1?
Remove the as yet unjustified addition to my answer.
Sep
26
revised Compress and uncompress of files in UNIX
Add some notes
May
2
revised CPU I/O communication
Fix trivial typo
Apr
18
revised xargs command works on ubuntu, but not mac
Tighten up the characterizatin of the first grep command
Apr
12
revised Would running sudo rm -rf / in OS X wipe out any attached time machine backups?
Fix trivial typo
Mar
20
revised Essential topics to be discussed in Linux 101
Reorganize a bit
Oct
26
revised Change EUID of running process
Remove a superfluous word
Sep
8
revised How do I remove files downloaded to a directory that are now mixed in with other files without deleting the other in Linux
Clarify that today is 2009-09-08
Sep
8
revised How do I remove files downloaded to a directory that are now mixed in with other files without deleting the other in Linux
Explain the -print0 option