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.