246 reputation
12
bio website
location Florida
age
visits member for 3 years, 5 months
seen Apr 17 at 18:30

Mar
23
answered Redirecting/grep'ing an existing shell's STDOUT
Jun
2
answered Precedence of stdin and stdout redirection in Bash
Jun
2
answered Is there a pager that stops on form feeds?