0
votes
1answer
21 views

Copy text from command line as formatted text

So I have a script that outputs this <pre style="background:#f1f1f1;color:#000;font-weight:bold;">echo 'Hello World';</pre> What I would like to do it copy it to the clipboard as rich ...
1
vote
2answers
85 views

Regarding groff - where is the config file and will this work?

I've been reading Terminal Tips and Tricks For Mac OS X when I came across this. bman () { gunzip < `man -w $@` | groff -Thtml -man | bcat } Apparently I should be able to view man pages ...