I have a script "u" that does just that, allowing "u date", "u man", "u ./configure" and so on. % cat bin/u #!/bin/rc SHELL=/bin/sh path=(/usr/local/sbin /usr/local/bin /usr/sbin /usr/bin /sbin /bin /usr/bin/X11 /usr/games) MANPAGER=/bin/cat exec $* On 10 September 2012 10:45, dexen deVries wrote: > On Monday 10 of September 2012 10:42:12 Charles Forsyth wrote: > > From GNU programs you will then get moans about the terminal: > > %TERM=dumb > > % man date > > WARNING: terminal is not fully functional > > - (press RETURN) > > > % TERM=dumb > % PAGER=cat > % man date > DATE(1) > User Commands > DATE(1) > > > > NAME > date - print or set the system date and time > (...) > > > > > in slightly related news, here's mine: > > > $ cat ~/bin/acme > #!/usr/bin/env rc > TERM=dumb > exec $PLAN9/bin/acme -c1 -a $* > $ > > -- > dexen deVries > > [[[↓][→]]] > >