Re: How to Setup Multiple System Distro Manpages

2018-07-15 Thread Thomas Wolff
Am 15.07.2018 um 14:19 schrieb john doe: On 7/15/2018 9:21 AM, Brian Inglis wrote: On 2018-07-15 00:39, john doe wrote: On 7/14/2018 10:50 PM, Brian Inglis wrote: I've installed a few WSL distros for comparison and downloaded a bunch of other manpage sets and unpacked them: $ l

Re: How to Setup Multiple System Distro Manpages

2018-07-15 Thread john doe
On 7/15/2018 9:21 AM, Brian Inglis wrote: On 2018-07-15 00:39, john doe wrote: On 7/14/2018 10:50 PM, Brian Inglis wrote: I've installed a few WSL distros for comparison and downloaded a bunch of other manpage sets and unpacked them: $ l /proc/cygdrive/c/usr/local/share/man/ cat1/ 

Re: How to Setup Multiple System Distro Manpages

2018-07-15 Thread Brian Inglis
On 2018-07-15 00:39, john doe wrote: > On 7/14/2018 10:50 PM, Brian Inglis wrote: >> I've installed a few WSL distros for comparison and downloaded a bunch of >> other >> manpage sets and unpacked them: >> $ l /proc/cygdrive/c/usr/local/share/man/ >> cat1/  debian@ 

Re: How to Setup Multiple System Distro Manpages

2018-07-15 Thread Brian Inglis
On 2018-07-14 22:25, Wayne Davison wrote: > On Sat, Jul 14, 2018 at 1:51 PM Brian Inglis wrote: >> $ l /proc/cygdrive/c/usr/local/share/man/ > > Shouldn't those be under /usr/local instead of > /proc/cygdrive/c/usr/local? Typically /usr is something like > C:/cygwin64/usr, which is not the

Re: How to Setup Multiple System Distro Manpages

2018-07-15 Thread john doe
On 7/14/2018 10:50 PM, Brian Inglis wrote: Hi folks, I've installed a few WSL distros for comparison and downloaded a bunch of other manpage sets and unpacked them: $ l src/man/*[0-9].tar.gz src/man/CentOS_7.1.tar.gz src/man/NetBSD_7.1.tar.gz src/man/Darwin_7.0.1.tar.gz

Re: How to Setup Multiple System Distro Manpages

2018-07-14 Thread Thomas Wolff
On 07/14/2018 04:50 PM, Brian Inglis wrote: I've installed a few WSL distros for comparison and downloaded a bunch of other manpage sets and unpacked them: $ l /proc/cygdrive/c/usr/local/share/man/ cat1/  debian@  man1p/  mann/   SunOS-5.10/ cat3/ 

Re: How to Setup Multiple System Distro Manpages

2018-07-14 Thread Wayne Davison
On Sat, Jul 14, 2018 at 1:51 PM Brian Inglis wrote: > $ l /proc/cygdrive/c/usr/local/share/man/ Shouldn't those be under /usr/local instead of /proc/cygdrive/c/usr/local? Typically /usr is something like C:/cygwin64/usr, which is not the C:/usr dir you've used. ..wayne.. -- Problem reports:

Re: How to Setup Multiple System Distro Manpages

2018-07-14 Thread Brian Inglis
On 2018-07-14 16:40, Jack wrote: > On 07/14/2018 04:50 PM, Brian Inglis wrote: >> I've installed a few WSL distros for comparison and downloaded a bunch of >> other >> manpage sets and unpacked them: >> $ l /proc/cygdrive/c/usr/local/share/man/ >> cat1/  debian@ 

Re: How to Setup Multiple System Distro Manpages

2018-07-14 Thread Jack
On 07/14/2018 04:50 PM, Brian Inglis wrote: Hi folks, I've installed a few WSL distros for comparison and downloaded a bunch of other manpage sets and unpacked them: $ l src/man/*[0-9].tar.gz src/man/CentOS_7.1.tar.gz src/man/NetBSD_7.1.tar.gz src/man/Darwin_7.0.1.tar.gz

How to Setup Multiple System Distro Manpages

2018-07-14 Thread Brian Inglis
Hi folks, I've installed a few WSL distros for comparison and downloaded a bunch of other manpage sets and unpacked them: $ l src/man/*[0-9].tar.gz src/man/CentOS_7.1.tar.gz src/man/NetBSD_7.1.tar.gz src/man/Darwin_7.0.1.tar.gzsrc/man/OpenBSD_6.2.tar.gz src/man/Debian_8.1.0.tar.gz