On Tue, 13 Apr, 1999, Josip Rodin wrote: > On Mon, Apr 12, 1999 at 04:24:12PM +0200, J.H.M. Dassen wrote: > > > It produces info, the standalone info browser > > > > Speaking of which, it would be nice to have a something for info like > > /usr/bin/pager or /usr/bin/editor are plain text files, i.e. a single > > generic name for "open an info browser at this node of this file", allowing > > the local system administrator to choose a particular info browser (e.g. > > "info", "jed-sl" or "pinfo"). > > Christian Kurz contacted me on this subject too. > How do other alternative systems work, like make/pmake, gcc/egcc, > irc/epic/others? I could rename GNU info to ginfo, and set up no I don't like that one, leave /usr/bin/info as /usr/bin/info and make a /usr/bin/sensible-info base it on /usr/bin/sensible-pager or /usr/bin/sensible-editor > alternatives, but what to do with older versions? (we don't want > to have old /usr/bin/info binary overwritten by a symlink or something) I don't think that alternatives is the way to do it. -- I consume, therefore I am
Attachment:
pgpeH8cYTiFdp.pgp
Description: PGP signature