6,094 reputation
21533
bio website None
location Netherlands
age 37
visits member for 3 years, 1 month
seen 1 hour ago

Just a guy with some linux experience.


Mar
16
reviewed Approve suggested edit on What happens in each step of the Linux kernel-building process?
Mar
16
comment Mounting a device — role of /dev, /media and /mnt, and the mount command
Whereas /mnt tends to be used my systems administrators - say, when we want to restore a backup, or migrate a partition to a new disk, we create (for instance) /mnt/homebackup and mount the backup disk image to that mount point, copy the lost files back to /home and then release the mount point.
Mar
16
reviewed Reopen Mounting a device — role of /dev, /media and /mnt, and the mount command
Mar
16
reviewed Leave Closed df says I have 20G more disk space used than du. Why?
Mar
16
reviewed Leave Open Mint: correct way to install /lib/i386-linux-gnu/libgmp.so.3
Mar
16
comment Mint: correct way to install /lib/i386-linux-gnu/libgmp.so.3
@terdon Unfortunately, while Debian and Ubuntu have multiarch support, Mint as of right now doesn't yet, so that answer doesn't help unless you want to add "Remove mint and install debian or ubuntu"
Mar
16
comment Mint: correct way to install /lib/i386-linux-gnu/libgmp.so.3
@vonbrand is correct - use the package manager. Don't randomly copy library files you think might help unless you've tried everything else and know exactly what you're doing.
Mar
16
reviewed Close Why is GParted listing an empty parition as using 43.90 GB?
Mar
16
reviewed Approve suggested edit on identifying words in file 1 and matching them to second file and printing them
Mar
11
reviewed Reject suggested edit on I deleted /bin/rm. How do I recover it?
Mar
7
reviewed Close shell script to check if process is running
Mar
7
reviewed Reject suggested edit on I deleted /bin/rm. How do I recover it?
Mar
3
awarded  Enlightened
Mar
3
awarded  Nice Answer
Mar
1
comment How can I replace the default kernel with an earlier kernel?
Why else do you think they maintain a separate kernel tree?
Feb
28
reviewed Close sending mail using telnet
Feb
28
reviewed Leave Open Webserver establishing new outgoing connections from port 443
Feb
28
reviewed Leave Open Ulimits and pam modules
Feb
28
reviewed Close How do I install gnuconio on linux
Feb
28
reviewed Reject suggested edit on I deleted /bin/rm. How do I recover it?