[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-users] Is GPSD receiving PPS?
From: |
Alexander Carver |
Subject: |
Re: [gpsd-users] Is GPSD receiving PPS? |
Date: |
Mon, 7 Mar 2016 15:59:35 -0800 |
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
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
>>
>>
>
>
- Re: [gpsd-users] Is GPSD receiving PPS?, (continued)
- 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/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 <=
- Re: [gpsd-users] Is GPSD receiving PPS?, Bo Berglund, 2016/03/08
- 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