692 reputation
28
bio website swolter.sdf1.org
location Wurzburg, Germany
age 29
visits member for 2 years, 7 months
seen Apr 7 '13 at 13:59

Currently working on my PhD at the Sauer Lab for Biophysics in W├╝rzburg, mostly working on and maintaining the open source program rapidSTORM for super-resolution microscopy.


Sep
21
awarded  Yearling
Feb
10
awarded  Nice Answer
Oct
10
awarded  Revival
Sep
21
awarded  Yearling
Nov
22
answered Russian timezone is not up-to-date
Nov
11
answered Get file created/creation time?
Oct
27
awarded  Nice Answer
Oct
27
answered Why FreeBsd is using man word for various functions?
Oct
16
answered SAMBA Share - Keep user from deleting a file
Oct
7
comment xargs with stdin/stdout redirection
Option 2 breaks when the filenames contains ".
Oct
7
awarded  Editor
Oct
7
revised xargs with stdin/stdout redirection
Clarified the caveats in the answer.
Oct
7
comment xargs with stdin/stdout redirection
@rozcietrzewiacz: Yes, I understand that problem. Now just suppose you would properly escape these spaces and get them into xargs: They are replaced in sh's -c string, sh tokenizes the -c string, and everything breaks.
Oct
7
comment xargs with stdin/stdout redirection
@rozcietrzewiacz: In general, sure, but I assume someone trying to do xargs voodoo knows this. Since these filenames undergo another shell expansion, they have to be well-behaved anyway.
Oct
7
answered xargs with stdin/stdout redirection
Oct
7
answered debian: Remove or reinstall package in a very bad inconsistent state
Oct
5
answered How to exclude numeric directories with rsync?
Oct
1
awarded  Critic
Sep
21
comment Install ffmpeg 0.7.1-5 from debian package
Oh, well. Just missed the epoch (4:) on the version number. Then install apt-get install ffmpeg=4:0.7.1-5 and be happy :-).
Sep
21
comment Install ffmpeg 0.7.1-5 from debian package
OK. Which version /do/ you have available? "apt-cache show ffmpeg | grep ^Version" should show you.