181 reputation
3
bio website
location
age
visits member for 1 year, 8 months
seen Apr 1 at 11:19

Feb
21
comment I deleted /bin/rm. How do I recover it?
@liori: I was half-joking, though 10-15 years ago, I would probably indeed have done it in that situation (the added "features", in particular i18n, are not an advantage in my opinion -- unintellegible translations, and learning to use switches that unexpectedly break scripts on another computer, no thanks). However, nowadays, I'm happy if only a Linux system runs smoothly as-installed without me touching anything, and without having to move/delete/edit system/config files or binaries. Which sadly, still isn't the case often enough, so I'm surely not touching something that works :-)
Feb
20
comment I deleted /bin/rm. How do I recover it?
Indeed. Actually, this makes me think about deleting coreutils too... :-)
Aug
29
comment Disable changelogs
Setting the debconf priority (I didn't even know this one existed!) alone makes it go silent, thank you. That's probably the best thing to have, too. "critical" is probably something I would want to know, and otherwise it's silent, which is just as it should be.
Aug
29
awarded  Scholar
Aug
29
awarded  Supporter
Aug
29
accepted Disable changelogs
Aug
28
answered Disable changelogs
Aug
28
asked Disable changelogs
Aug
28
awarded  Teacher
Mar
12
answered Memory management principle used by Linux