Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
5
Impact
~69 people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
Feb
11
accepted grep --exclude-dir behaviour: a bug or a feature?
Feb
11
comment grep --exclude-dir behaviour: a bug or a feature?
Thank you, @vinc17, I'll report this as a bug.
Feb
11
asked grep --exclude-dir behaviour: a bug or a feature?
Sep
24
awarded  Autobiographer
Feb
7
awarded  Student
Feb
7
awarded  Editor
Feb
7
awarded  Scholar
Feb
7
awarded  Supporter
Feb
7
comment Detecting which font should be used
Thank you very much!
Feb
7
accepted Detecting which font should be used
Feb
7
revised Detecting which font should be used
deleted 2 characters in body
Feb
7
asked Detecting which font should be used
May
4
answered How to remove all the files in a directory?