648 reputation
617
bio website
location Austria
age
visits member for 3 years, 3 months
seen Jul 24 at 16:12

Jul
9
revised How can I shred a git repository, reasonably fast?
add parallel
Jul
7
revised How can I shred a git repository, reasonably fast?
added no of files
May
26
revised How can I mount a remote sshfs directory of an publicly inaccessible server on my inaccessible client machine?
typo corrected
May
25
revised How can I mount a remote sshfs directory of an publicly inaccessible server on my inaccessible client machine?
Added not a duplicate explanation. Emphasis in question body to better highlight the difference to accused duplicate.
May
24
revised How can I mount a remote sshfs directory of an publicly inaccessible server on my inaccessible client machine?
added @reboot hint
Nov
27
revised What kind of notification is Firefox sending when a download has finished?
update status after accepted answer
Nov
26
revised What kind of notification is Firefox sending when a download has finished?
tag edit to reflect unsolved screen issue
May
4
revised Why can't ld find this library?
title typo (embarrassing...)
May
5
revised What are your favorite command line features or tricks?
added scr() function
May
5
revised What are your favorite command line features or tricks?
fixed '}' outside loop, which would result in copy and paste errors. Then some improvments to capitalization, such that I reach the 6 char changes limit
May
5
revised Why does “ls *” take so much longer than “ls”?
+ ls -l *
May
5
revised Why does “ls *” take so much longer than “ls”?
added 106 characters in body
May
5
revised Why does “ls *” take so much longer than “ls”?
added ls -l