2,239 reputation
4928
bio website none
location Copenhagen, Denmark
age 40
visits member for 2 years, 10 months
seen 10 hours ago

Long-time Linux user (since 1994).


Jul
12
revised Iterate over n files?
added 105 characters in body
Jul
12
revised Iterate over n files?
for loop example
Jul
11
revised Makefile compiles unchanged files
yet another bug in rule
Jul
11
revised Makefile compiles unchanged files
yet another bug in rule
Jul
11
revised Makefile compiles unchanged files
explain why rule includes a dependency
Apr
8
revised Shell script to detect PDFs with non-ASCII contents
Fixed typos and added punctuation to make question more readable.
Apr
1
revised Why does ls sorting ignore non-alphanumeric characters?
added 179 characters in body
Mar
19
revised Number of backslashes needed for escaping regex backslash on the command-line
typo
Jan
26
revised Are there any disadvantages against using qsub to run tasks all the time?
detach command is ctrl-a ctrl-d, and used code font for commands
Jan
24
revised Command to measure TLB misses on LINUX?
code is now in code block
Jan
24
revised console vim in screen session: remap Ctrl-Shift-Left, Ctrl-Shift-Right to not delete lines
deleted 276 characters in body
Jan
23
revised console vim in screen session: remap Ctrl-Shift-Left, Ctrl-Shift-Right to not delete lines
answer
Jan
19
revised console vim in screen session: remap Ctrl-Shift-Left, Ctrl-Shift-Right to not delete lines
added 227 characters in body
Jan
18
revised rename multiple files with rename command?
added 43 characters in body
Nov
10
revised How to redefine kde4 keyboard shortcuts
added 9 characters in body
Nov
10
revised How to redefine kde4 keyboard shortcuts
another shortcut I'd like to change