Reputation
463
Top tag
Next privilege 500 Rep.
Access review queues
Badges
4 10
Newest
 Critic
Impact
~28k people reached

Jul
3
revised How to wipe a hard disk completely so that no data recovery tools can retrieve anything?
Fix trivial typos (but what to do about test-disk vs Test disk?)
Jul
3
suggested approved edit on How to wipe a hard disk completely so that no data recovery tools can retrieve anything?
Jul
2
comment Remove duplicated dots from file name
@A.B. Hmmm…how on earth did who manage to break the code so it fails on names containing newlines? That's a reportable bug in the rename utility IMNSHO. It required effort to break it. A basic implementation of rename doesn't run into that issue.
Jul
2
comment Remove duplicated dots from file name
@A.B. Why does this not work when there are new lines in the file name? It looks clean to me (on that issue—there may be other issues to deal with).
Jun
21
awarded  Critic
Jun
21
revised Why bash is the default shell in most OS?
edition --> editing
Jun
21
comment Why bash is the default shell in most OS?
Would you explain what was deficient about the Korn shell editing? It always seemed to work OK for me, even in the 90s.
Jun
21
suggested approved edit on Why bash is the default shell in most OS?
Jun
5
comment Get specific PID and save to file
You don't need grep if you use awk. You could use: ps h -o pid,cmd -u minecraft | awk '/World2/ { print $1 > "world2.pid" }' instead, or do the I/O redirection in the shell (which is simpler).
May
14
comment “No such file or directory” when trying to remove a file, but the file exists?
You could use Bash's "file name completion" to generate the correct file name starts with q. If that fails, it means the first letter isn't q but you can then use rm -i *timeout.png to remove it, or minor variations on the theme. All this assumes this is a one-off problem and not a systemic one.
Apr
9
awarded  Yearling
Apr
7
awarded  Nice Answer
Apr
6
answered I change the last line in /etc/passwd and I can't use sudo
Mar
19
awarded  Excavator
Mar
19
revised Why is it bad to login as root?
Diners eat dinner - optionally with pitch forks but usually with forks (or spoons). Extra changes to meet the minima.
Mar
19
suggested approved edit on Why is it bad to login as root?
Feb
23
revised Why is it bad to login as root?
administrator --> administrators
Feb
2
awarded  Editor
Feb
2
revised Why are people still using wget whereas there's aria2c
Fix trivial typos
Feb
2
suggested approved edit on Why are people still using wget whereas there's aria2c