111 reputation
2
bio website
location
age
visits member for 4 years, 7 months
seen Dec 15 at 15:11

Feb
4
comment How can I copy this quote from PDF?
In the Google Search version that Google serves to my machine, Instead of having this "Quick View" link, I have to click the down arrow, then choose "Cached". But that works too.
Oct
3
comment How can I highlight XML on the command line?
pbpaste|xmllint --format -|highlight --out-format=ansi --syntax=xml did the trick for me. (I could argue about highlight's color choices, though.)