[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: