306 reputation
15
bio website garillot.net
location Orsay, France
age 31
visits member for 3 years, 8 months
seen Aug 17 '12 at 7:32
Graduate student teaching Coq how to do some group theory in the lab with the best coffee around.

Dec
30
awarded  Yearling
Dec
26
awarded  Citizen Patrol
Dec
22
answered How safe is rsync --remove-source-files?
Sep
9
revised How can I find out where a file is physically located on the disk (block numbers)?
added hdparm example
Sep
9
awarded  Editor
Sep
9
comment How can I find out where a file is physically located on the disk (block numbers)?
Yes, you are right, I'm sorry, I didn't read properly. I changed my answer to stg more appropriate.
Sep
9
revised How can I find out where a file is physically located on the disk (block numbers)?
Changed answer to stg more sensible
Sep
9
answered How can I find out where a file is physically located on the disk (block numbers)?
Aug
17
answered Linux: How to see live numbers of bytes/second transferred to/from hard drive?
Aug
6
awarded  Teacher
Aug
6
answered How can I automatically restart a process after it terminates?
Jul
31
comment tee and grep at the same time (shell)?
What's the problem with grep ? do you get an error ? No output in ${var}logs/chatlogs.log ? No output in ${var}logs/chatlogs.log even though you've thoroughly verified there should be somewhere there (by running the grep on $log independently, for example) ?
Jan
15
comment Merging Two Git Repositories with branches
have you looked at git submodules, and if yes, why do you find them lacking ?
Jan
1
awarded  Supporter
Dec
30
awarded  Autobiographer