101 reputation
2
bio website
location
age
visits member for 1 year, 9 months
seen Nov 28 at 13:02

If you need to know more about me, be warned that of my personal website, only the CV is up to date, the rest has stayed untouched for years (mostly since 2002).

Stuff by me:


Dec
17
awarded  Autobiographer
Nov
17
comment How to make bash scripts print out every command before it executes?
By setting PS4 you can tweak the prompt of -x. E.g.: PS4='Line $LINENO @ $(date +%s.%N): ' bash -x script (date will slow it down, though)
Mar
31
awarded  Supporter