[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-users] Is GPSD receiving PPS?
From: |
Bo Berglund |
Subject: |
Re: [gpsd-users] Is GPSD receiving PPS? |
Date: |
Tue, 08 Mar 2016 09:04:42 +0100 |
On Mon, 7 Mar 2016 18:52:08 -0500, Frank Nicholas
<address@hidden> wrote:
>Hello Bo,
>
>Your Raspberry Pi distribution may be the latest Raspian available,
>but it has a pretty old GPSd in the repository and some other pieces
>are missing that might be included with other Linux distributions.
>
>To make the user compiled GPSd MAN pages available, you should find a
>config file somewhere in /etc, where you can add /usr/local/man
>(where the source installed GPSd MAN pages are located) to the man
>pages system. Im not sure where it is on Rasbian Jessie
>
>On Gentoo, its located at /etc/man_db.conf, and looks something like this:
>MANPATH_MAP /bin /usr/share/man
>MANPATH_MAP /usr/bin /usr/share/man
>MANPATH_MAP /sbin /usr/share/man
>MANPATH_MAP /usr/sbin /usr/share/man
>MANPATH_MAP /usr/local/bin /usr/local/man
>MANPATH_MAP /usr/local/bin /usr/local/share/man
>MANPATH_MAP /usr/local/sbin /usr/local/man
>MANPATH_MAP /usr/local/sbin /usr/local/share/man
>
>
On Raspbian I found it as /etc/manpath.config
It holds these entries currently (comments removed):
MANDATORY_MANPATH /usr/man
MANDATORY_MANPATH /usr/share/man
MANDATORY_MANPATH /usr/local/share/man
MANPATH_MAP /bin /usr/share/man
MANPATH_MAP /usr/bin /usr/share/man
MANPATH_MAP /sbin /usr/share/man
MANPATH_MAP /usr/sbin /usr/share/man
MANPATH_MAP /usr/local/bin /usr/local/man
MANPATH_MAP /usr/local/bin /usr/local/share/man
MANPATH_MAP /usr/local/sbin /usr/local/man
MANPATH_MAP /usr/local/sbin /usr/local/share/man
MANPATH_MAP /usr/X11R6/bin /usr/X11R6/man
MANPATH_MAP /usr/bin/X11 /usr/X11R6/man
MANPATH_MAP /usr/games /usr/share/man
MANPATH_MAP /opt/bin /opt/man
MANPATH_MAP /opt/sbin /opt/man
MANDB_MAP /usr/man /var/cache/man/fsstnd
MANDB_MAP /usr/share/man /var/cache/man
MANDB_MAP /usr/local/man /var/cache/man/oldlocal
MANDB_MAP /usr/local/share/man /var/cache/man/local
MANDB_MAP /usr/X11R6/man /var/cache/man/X11R6
MANDB_MAP /opt/man /var/cache/man/opt
As far as I can see the entry /usr/local/bin /usr/local/man is
already present. So I tried to see what was installed in
/usr/local/man:
address@hidden:~ $ ls -la /usr/local/man
lrwxrwxrwx 1 root staff 9 Feb 26 01:57 /usr/local/man -> share/man
So it is a symlink! And it is empty:
address@hidden:~ $ ls -la /usr/local/share/man
total 8
drwxrwsr-x 2 root staff 4096 Feb 26 01:57 .
drwxrwsr-x 8 root staff 4096 Feb 26 02:28 ..
Confused, but I have to rush off for now. Back tonight.
--
Bo Berglund
Developer in Sweden
- Re: [gpsd-users] Is GPSD receiving PPS?, (continued)
- Re: [gpsd-users] Is GPSD receiving PPS?, Gary E. Miller, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Gary E. Miller, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Frank Nicholas, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Gary E. Miller, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Gary E. Miller, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Frank Nicholas, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Alexander Carver, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?,
Bo Berglund <=
- Re: [gpsd-users] Is GPSD receiving PPS?, Doug Robinson, 2016/03/07
- Re: [gpsd-users] Is GPSD receiving PPS?, Jon Brase, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, David J Taylor, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, David J Taylor, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Gary E. Miller, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Jon Brase, 2016/03/08
- Re: [gpsd-users] Is GPSD receiving PPS?, Gary E. Miller, 2016/03/08