1,011 reputation
317
bio website martin.von-gagern.net
location Germany
age
visits member for 2 years, 2 months
seen Sep 12 at 6:55

Working at university on the borderline between mathematics and computer sciences.


Sep
4
comment How to tell if SSH'd into machine?
I'd rather use $?. This answer is in a way complementary to the others currently present since this detects the connected state on the local machine while checking environment variables is a test run on the remote machine (and subject to remote configuration).
Aug
24
comment Transfering content of block devices
@mdpc: Linux, e.g. Debian wheezy. Updated my question to include that information.
Aug
24
revised Transfering content of block devices
Describe environment
Aug
23
asked Transfering content of block devices
Jul
16
awarded  Nice Question
Jul
12
awarded  Nice Answer
Jul
11
awarded  Self-Learner
Jul
11
awarded  Yearling
Jul
11
asked How does xdg-open do its work
Jul
11
answered How does xdg-open do its work
Jul
9
asked Print EPS file at original size but changed position
Jul
8
comment Removing a specific line from a file
@SztupY: In -i'' the shell should strip the '' and leave you with -i alone. At least if it is a standard bourne-like shell.
Jul
2
awarded  Curious
Jun
24
comment “mv” command— file vanished into non-directory
Better make that “any byte at all”, since the interpretation as characters depends on locale. In some encodings, UTF-8 for example, there might even be byte combinations which don't correspond to characters.
Jun
16
awarded  Caucus
May
8
comment Remove multiple possible suffixes
+1 for "${FN%.*}.jpg".
May
2
comment How can I groups numbers in a file
I'd make that sort -n to be on the safe side. +1, though.
Apr
28
answered Can I avoid enter key in cp -i?
Apr
27
awarded  Excavator
Apr
27
revised What do the flags in /proc/cpuinfo mean?
Updated to 3.14.1