996 reputation
412
bio website
location Sheffield, United Kingdom
age 24
visits member for 3 years, 4 months
seen May 1 at 23:08
stats profile views 46

Apr
26
answered In vim, background color changes on scrolling
Apr
10
asked Process hanging in disk sleep when installing archlinux
Jan
23
awarded  Yearling
May
23
awarded  Notable Question
Feb
6
comment Grep fail to ouptut to a pipe?
I'd not heard of unbuffer before. I'll check it out. it could come in handy.
Feb
6
comment Grep fail to ouptut to a pipe?
Thanks, that fixed it.
Feb
6
accepted Grep fail to ouptut to a pipe?
Feb
3
revised Grep fail to ouptut to a pipe?
added 364 characters in body
Feb
3
comment Grep fail to ouptut to a pipe?
Javano: I'm actually trying to build a highlighting filter for make, rather than do something with the filename. I'm not iterating over lines as much as editing a bytestream. (besides the fact that make output could not be used like this. I've added the script that I use instead of cat for you to get an idea of what I mean.
Feb
3
comment Grep fail to ouptut to a pipe?
That didn't help. (aside: the make command takes several minutes)
Feb
3
revised Grep fail to ouptut to a pipe?
added 145 characters in body; edited tags
Feb
3
revised Grep fail to ouptut to a pipe?
added 99 characters in body
Feb
3
comment Grep fail to ouptut to a pipe?
Cat is just a placeholder for another set of commands. It fails to output anything regardless of what I replace it with.
Feb
3
asked Grep fail to ouptut to a pipe?
Jan
23
awarded  Yearling
Nov
25
revised Using a smaller drive to mirror a larger server to an offsite backup?
added 67 characters in body
Nov
7
revised Installation Recommendations For Dual-Booting Win 7 & Arch Linux
added 103 characters in body
Nov
7
answered Using a smaller drive to mirror a larger server to an offsite backup?
Nov
7
answered Installation Recommendations For Dual-Booting Win 7 & Arch Linux
Oct
28
comment How to disable input translation for some keys in GNU Screen?
Thankyou suvayu, that did the trick!