279 reputation
19
bio website
location Kaiserslautern, Germany
age 26
visits member for 2 years
seen Apr 10 at 10:19

I am a PhD student at the Algorithms & Complexity group at University of Kaiserslautern, Germany. I research design and analysis of parallel algorithms and data structures.

In my free time I read books, enjoy (and sometimes make) music, code, work out and roam the webs.


You can find sources for all self-created images I post on Stack Exchange here.


Dec
18
awarded  Popular Question
Jun
3
comment Sed: extending a string of numbers to a certain number of digits by padding with zeros
The only thing I got working (with a function cal in the replacement). Thanks!
Jun
3
comment How to change height and width of each page of a pdf
Ghostscript may have to rasterize stuff PS does not support. For simple PDFs, this works nicely. Still looking for a solution that is PDF-only.
Apr
5
awarded  Yearling
Mar
11
accepted Split PDF into documents with several pages each
Mar
11
accepted Generic Preprocessor adds extra whitespace
Mar
11
accepted Nested read fails
Mar
6
comment Split PDF into documents with several pages each
Nice. It creates lots of temporary files, though.
Mar
5
awarded  Self-Learner
Mar
5
asked Split PDF into documents with several pages each
Mar
5
answered Split PDF into documents with several pages each
Feb
24
comment Nested read fails
@mauro.stettler: That gets rid of the error. Now the script does iterate, but never prompts.
Feb
24
comment Bash iterate over a list of strings
@IBBoard See this new question.
Feb
24
asked Nested read fails
Feb
23
awarded  Commentator
Feb
23
comment Bash iterate over a list of strings
If somestuff includes another read, this seems not to work properly.
Feb
10
accepted Iterate over multiple parameters with spaces in bash script
Feb
10
comment Iterate over multiple parameters with spaces in bash script
Both forms seem to work fine. I prefer the first version for clarity; in which way is it not as portable? Anyway, thanks!
Feb
10
asked Iterate over multiple parameters with spaces in bash script
Dec
5
comment How to reload udev rules without reboot?
+1 for the hint about reconnecting the device. facepalm