Re: man, oh man

[Mike M <linux-support@earthlink.net>]

On Tuesday 27 May 2003 17:11, Travis Crump wrote:

>  From man man:
>
> PAGER  If $PAGER is set, its value is used as the name of the program
> used to display the manual page.  By default, exec /usr/bin/pager -s is
> used.
>
> /usr/bin/pager can be changed using /usr/bin/update-alternatives

>From the workstation:

deb2:~# ls -l /usr/bin/pager
lrwxrwxrwx    1 root     root           23 Mar 18 08:07 
/usr/bin/pager -> /etc/alternatives/pager
deb2:~# ls -l /etc/alternatives/pag
ls: /etc/alternatives/pag: No such file or directory
deb2:~# ls -l /etc/alternatives/pager
lrwxrwxrwx    1 root     root           13 Mar 18 13:48 
/etc/alternatives/pager -> /usr/bin/less

Found less package using "dpkg -l"

>From the minimal server:

mike01@test3:~$ ls -l /usr/bin/pager
lrwxrwxrwx    1 root     root           23 May 19 15:02 
/usr/bin/pager -> /etc/alternatives/pager
mike01@test3:~$ ls -l /etc/a
ls: /etc/a: No such file or directory
mike01@test3:~$ ls -l /etc/alternatives/pager
lrwxrwxrwx    1 root     root            9 May 19 15:02 
/etc/alternatives/pager-> /bin/more

"apt-get install less" automagically changes /etc/alternatives/pager

<kick target=self cause="not reading man man carefully" \>
Thanks,
-- 
Mike M.