Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
7
Impact
~1k people reached

Oct
10
awarded  Popular Question
Feb
22
awarded  Informed
Aug
1
awarded  Scholar
Aug
1
accepted Why is the dreadful 'rm -rf /' even allowed?
Dec
14
awarded  Autobiographer
Sep
15
awarded  Student
Sep
15
comment Why is the dreadful 'rm -rf /' even allowed?
Could you specify the Linux distribution and version you used?
Sep
15
comment Why is the dreadful 'rm -rf /' even allowed?
+1: I didn't know that (and didn't try in a VM). So I guess my question is a bit late...
Sep
15
asked Why is the dreadful 'rm -rf /' even allowed?
Jun
18
answered Good idea to split my personal git repo up?
May
29
comment Is there another way of renaming a file other than using mv?
Why would you do that instead of simply mv myfile mynewfile?
May
6
awarded  Editor
May
6
revised How to tell git which private key to use?
Replace public key by private key; format
May
6
awarded  Supporter
May
6
suggested approved edit on How to tell git which private key to use?
Mar
1
answered is there an easy way to delete files (*.pdf and *.eps) from the git archives to make the archive smaller