How can I make 'man' more gui friendly?
Use this function in .bashrc:
man () { yelp "man:$@"; }
Source
Simply enter the following in the terminal:
man bash >/tmp/t;gedit /tmp/t
That will create a temporary file with the contents of the man page and open it with gedit
.