Re: man page with standard gnome options
Lukas Geyer <lukas@debian.org> writes:
> Colin Watson <cjwatson@debian.org> writes:
>
> It is injective but that would not really be enough. The manpage for
> "egg" should not be called "spam.1.gz", otherwise the man program would
> have some trouble finding it. On the other hand, "spam.1.gz" could be a
> symlink to "egg.1.gz". Ignoring this subtle issue of symlinks, we
> would rather have a mapping f from files in /bin and /usr/bin which is
> exactly the output of the following shell function.
>
> f(){ echo /usr/share/man/man1/$(basename $1).1.gz; }
>
> Of course one could replace this by
>
> f(){ echo /usr/share/man/man1/$(basename $1|rot13).1.gz; }
>
> which would retain injectivity and everything. It would however be
> slightly inconvenient for users to type "man fu" when they want to see
> the manpage of their shell...
>
That would be "man onfu" ;-)
Regards, Andy
--
Andreas Rottmann | Dru@ICQ | 118634484@ICQ | a.rottmann@gmx.at
http://www.8ung.at/rotty | GnuPG Key: http://www.8ung.at/rotty/gpg.asc
Fingerprint | DFB4 4EB4 78A4 5EEE 6219 F228 F92F CFC5 01FD 5B62
Reply to: