Re: [gpsd-users] Is GPSD receiving PPS?

[Alexander Carver]

Debian/Raspbian's file is /etc/manpath.config

The default installation of Raspbian has:
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

I

On 2016-03-07 15:52, Frank Nicholas 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.  I’m 
> not sure where it is on Rasbian Jessie…
> 
> On Gentoo, it’s 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
> 
> 
> Thanks,
> Frank
> 
> 
> 
>> On Mar 7, 2016, at 6:36 PM, Bo Berglund <address@hidden> wrote:
>>
>> On Mon, 7 Mar 2016 14:30:50 -0800, "Gary E. Miller" <address@hidden>
>> wrote:
>>
>>>> I just wanted to chime in that the challenges are not hardware
>>>> platform issues - they are related to the Linux distribution for the
>>>> Raspberry Pi that Bo is using, which is a little slow to update
>>
>>
>> Distribution: Raspbian Jessie from 2016-02-26 AAMOF.
>>
>>> Agreed.  Initially.  But the thread now shows how build.txt needs to be 
>>> updated to handle people with only an intro skill set.  I already
>>> added a bit to that file, but when Bo is done, more will need to be done.
>>>
>>
>> I got it compiled and running now (manually started).
>> Need to go over the systemd stuff again (I did that on the apt-get
>> version, which is now removed) so that the service will start working
>> again.
>> Maybe I should symlink from the deposited files in /usr/local/bin/ to
>> /usr/bin or wherever it was put by apt-get?
>>
>> And another thing (I have not checked the build.txt file on this yet):
>> After apt-get remove all man entries also vanished so I need to find
>> out how these can be reinstated.
>>
>> But now it is midnight over here so it will be for another day.
>>
>> Thanks for your patience and support!
>>
>>
>> -- 
>> Bo Berglund
>> Developer in Sweden
>>
>>
> 
>