5,759 reputation
1239
bio website toggle.be/~ta
location Denmark
age 37
visits member for 2 years, 3 months
seen Jul 23 at 19:45

I'm trained in computer science engineering, but have a wide range of other interests as well.


Aug
20
revised How to grep for pipe |
Corrected erroneous claim about BRE
Aug
19
revised How to grep for pipe |
added 6 characters in body
Aug
19
answered How to grep for pipe |
Aug
19
revised How to grep for pipe |
Better formatting
Aug
15
answered Grouped sorting of continuous paragraphs (separated by blank line)?
Aug
14
revised Removing lines based on tags for different files and merging into single file
Added missing backtick
Jun
26
awarded  text-processing
Jun
6
reviewed Reopen Linux distro that contains Windows fonts in default
Jun
6
reviewed Approve suggested edit on Why is the US international keyboard layout on Debian different?
May
21
revised awk + paste for cleaning up PATH?
not really relevant
May
19
comment awk + paste for cleaning up PATH?
@StephaneChazelas: That is indeed a much better choice, I didn't know about that option. Thanks.
May
19
revised awk + paste for cleaning up PATH?
Use portable paste as well
May
19
answered awk + paste for cleaning up PATH?
May
19
comment awk + paste for cleaning up PATH?
@PredragPunosevac: I think the backslashes are there to prevent csh from doing history expansion on the exclamation mark.
May
18
answered SED Showing CRLF While Vim Not Showing
May
16
answered Replace certain strings with value from former line
May
15
reviewed Close Is there a general command to see what shell is running?
May
15
reviewed Leave Open Are FIFO, pipe & Unix domain socket the same thing in Linux kernel?
May
8
comment Why does (GNU?) parallel fail silently, and how do I fix it?
You can also add --gnu to $HOME/.parallel/config.
May
8
reviewed Close Getting back rsync's deleted files