Reputation
841
Top tag
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
4 7
Newest
 Commentator
Impact
~78k people reached

  • 0 posts edited
  • 0 helpful flags
  • 12 votes cast
Jul
15
revised What is the difference between a directory name that ends with a slash and one that does not?
added 132 characters in body
Jul
19
revised Sync writes very slow. Ubuntu 10.10, 32 bits, ext4
Oops, fixed misspelled word.
Feb
1
revised How to clean up file extensions?
added note about replacing prename as appropriate
Feb
1
revised How to clean up file extensions?
Removed leftovers of what should have been removed in a previous edit
Jan
13
revised Adding an empty line at the end of input
A word was forgotten, it has now been added.
Jan
11
revised History command inside bash script
Removed silly language
Jan
11
revised Why do all my DNS queries resolve to 192.168.1.251?
Added a rationale section for the thoughts behind the answer