[Touch-packages] [Bug 1747303] Re: Missing man pages of all packages which offer some
No, it's not apt. ** Package changed: apt (Ubuntu) => ubuntu -- You received this bug notification because you are a member of Ubuntu Touch seeded packages, which is subscribed to apt in Ubuntu. https://bugs.launchpad.net/bugs/1747303 Title: Missing man pages of all packages which offer some Status in Ubuntu: Invalid Bug description: First of all, I installed Ubuntu 18.04 from the base package listed here: http://cdimage.ubuntu.com/ubuntu-base/daily/current/ . It's now a full working station with Ubuntu-Mate desktop. The problem are the manual pages which aren't installed, many of them. Here are the dictionary entries of /usr/share/man/man1: $ ls -la /usr/share/man/man1 drwxr-xr-x 2 root root 4096 Jan 30 22:36 ./ drwxr-xr-x 26 root root 4096 Jan 18 14:23 ../ lrwxrwxrwx 1 root root 27 Jan 20 16:27 java.1.gz -> /etc/alternatives/java.1.gz lrwxrwxrwx 1 root root 26 Jan 20 16:27 jjs.1.gz -> /etc/alternatives/jjs.1.gz lrwxrwxrwx 1 root root 30 Jan 20 16:27 keytool.1.gz -> /etc/alternatives/keytool.1.gz lrwxrwxrwx 1 root root 27 Jan 20 16:27 orbd.1.gz -> /etc/alternatives/orbd.1.gz lrwxrwxrwx 1 root root 30 Jan 20 16:27 pack200.1.gz -> /etc/alternatives/pack200.1.gz lrwxrwxrwx 1 root root 33 Jan 20 16:27 policytool.1.gz -> /etc/alternatives/policytool.1.gz lrwxrwxrwx 1 root root 27 Jan 20 16:27 rmid.1.gz -> /etc/alternatives/rmid.1.gz lrwxrwxrwx 1 root root 34 Jan 20 16:27 rmiregistry.1.gz -> /etc/alternatives/rmiregistry.1.gz lrwxrwxrwx 1 root root 33 Jan 20 16:27 servertool.1.gz -> /etc/alternatives/servertool.1.gz lrwxrwxrwx 1 root root9 Jan 30 22:36 sh.1.gz -> dash.1.gz lrwxrwxrwx 1 root root 32 Jan 20 16:27 tnameserv.1.gz -> /etc/alternatives/tnameserv.1.gz lrwxrwxrwx 1 root root 32 Jan 20 16:27 unpack200.1.gz -> /etc/alternatives/unpack200.1.gz -rw-r--r-- 1 root root0 Jan 21 00:47 vmware.1.gz When I install the manpages-dev package, the package management shows me all fine: # apt install --reinstall manpages-dev # dpkg -L manpages-dev /. /usr /usr/share /usr/share/doc /usr/share/lintian /usr/share/lintian/overrides /usr/share/lintian/overrides/manpages-dev /usr/share/man /usr/share/man/man2 /usr/share/man/man2/_exit.2.gz /usr/share/man/man2/_syscall.2.gz /usr/share/man/man2/accept.2.gz ... /usr/share/man/man3/scalbnf.3.gz /usr/share/man/man3/scalbnl.3.gz /usr/share/man/man3/scandirat.3.gz ...and so on... But the /usr/share/man/man3 directory is still empty: # ls -la /usr/share/man/man3 insgesamt 8 drwxr-xr-x 2 root root 4096 Jan 18 14:23 . drwxr-xr-x 26 root root 4096 Jan 18 14:23 .. And btw the /usr/share/man/man2 directory doesn't exist. Are there any new configuration changes in 18.04 which supresses man page installation? I didn't know about a similar behavior in 17.10 and before. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+bug/1747303/+subscriptions -- Mailing list: https://launchpad.net/~touch-packages Post to : touch-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~touch-packages More help : https://help.launchpad.net/ListHelp
[Touch-packages] [Bug 1747303] Re: Missing man pages of all packages which offer some
I can't say exactly what this behavior depends on. Maybe it's the apt package. -- You received this bug notification because you are a member of Ubuntu Touch seeded packages, which is subscribed to apt in Ubuntu. https://bugs.launchpad.net/bugs/1747303 Title: Missing man pages of all packages which offer some Status in apt package in Ubuntu: New Bug description: First of all, I installed Ubuntu 18.04 from the base package listed here: http://cdimage.ubuntu.com/ubuntu-base/daily/current/ . It's now a full working station with Ubuntu-Mate desktop. The problem are the manual pages which aren't installed, many of them. Here are the dictionary entries of /usr/share/man/man1: $ ls -la /usr/share/man/man1 drwxr-xr-x 2 root root 4096 Jan 30 22:36 ./ drwxr-xr-x 26 root root 4096 Jan 18 14:23 ../ lrwxrwxrwx 1 root root 27 Jan 20 16:27 java.1.gz -> /etc/alternatives/java.1.gz lrwxrwxrwx 1 root root 26 Jan 20 16:27 jjs.1.gz -> /etc/alternatives/jjs.1.gz lrwxrwxrwx 1 root root 30 Jan 20 16:27 keytool.1.gz -> /etc/alternatives/keytool.1.gz lrwxrwxrwx 1 root root 27 Jan 20 16:27 orbd.1.gz -> /etc/alternatives/orbd.1.gz lrwxrwxrwx 1 root root 30 Jan 20 16:27 pack200.1.gz -> /etc/alternatives/pack200.1.gz lrwxrwxrwx 1 root root 33 Jan 20 16:27 policytool.1.gz -> /etc/alternatives/policytool.1.gz lrwxrwxrwx 1 root root 27 Jan 20 16:27 rmid.1.gz -> /etc/alternatives/rmid.1.gz lrwxrwxrwx 1 root root 34 Jan 20 16:27 rmiregistry.1.gz -> /etc/alternatives/rmiregistry.1.gz lrwxrwxrwx 1 root root 33 Jan 20 16:27 servertool.1.gz -> /etc/alternatives/servertool.1.gz lrwxrwxrwx 1 root root9 Jan 30 22:36 sh.1.gz -> dash.1.gz lrwxrwxrwx 1 root root 32 Jan 20 16:27 tnameserv.1.gz -> /etc/alternatives/tnameserv.1.gz lrwxrwxrwx 1 root root 32 Jan 20 16:27 unpack200.1.gz -> /etc/alternatives/unpack200.1.gz -rw-r--r-- 1 root root0 Jan 21 00:47 vmware.1.gz When I install the manpages-dev package, the package management shows me all fine: # apt install --reinstall manpages-dev # dpkg -L manpages-dev /. /usr /usr/share /usr/share/doc /usr/share/lintian /usr/share/lintian/overrides /usr/share/lintian/overrides/manpages-dev /usr/share/man /usr/share/man/man2 /usr/share/man/man2/_exit.2.gz /usr/share/man/man2/_syscall.2.gz /usr/share/man/man2/accept.2.gz ... /usr/share/man/man3/scalbnf.3.gz /usr/share/man/man3/scalbnl.3.gz /usr/share/man/man3/scandirat.3.gz ...and so on... But the /usr/share/man/man3 directory is still empty: # ls -la /usr/share/man/man3 insgesamt 8 drwxr-xr-x 2 root root 4096 Jan 18 14:23 . drwxr-xr-x 26 root root 4096 Jan 18 14:23 .. And btw the /usr/share/man/man2 directory doesn't exist. Are there any new configuration changes in 18.04 which supresses man page installation? I didn't know about a similar behavior in 17.10 and before. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1747303/+subscriptions -- Mailing list: https://launchpad.net/~touch-packages Post to : touch-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~touch-packages More help : https://help.launchpad.net/ListHelp
[Touch-packages] [Bug 1747303] Re: Missing man pages of all packages which offer some
** Package changed: ubuntu => apt (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Touch seeded packages, which is subscribed to apt in Ubuntu. https://bugs.launchpad.net/bugs/1747303 Title: Missing man pages of all packages which offer some Status in apt package in Ubuntu: New Bug description: First of all, I installed Ubuntu 18.04 from the base package listed here: http://cdimage.ubuntu.com/ubuntu-base/daily/current/ . It's now a full working station with Ubuntu-Mate desktop. The problem are the manual pages which aren't installed, many of them. Here are the dictionary entries of /usr/share/man/man1: $ ls -la /usr/share/man/man1 drwxr-xr-x 2 root root 4096 Jan 30 22:36 ./ drwxr-xr-x 26 root root 4096 Jan 18 14:23 ../ lrwxrwxrwx 1 root root 27 Jan 20 16:27 java.1.gz -> /etc/alternatives/java.1.gz lrwxrwxrwx 1 root root 26 Jan 20 16:27 jjs.1.gz -> /etc/alternatives/jjs.1.gz lrwxrwxrwx 1 root root 30 Jan 20 16:27 keytool.1.gz -> /etc/alternatives/keytool.1.gz lrwxrwxrwx 1 root root 27 Jan 20 16:27 orbd.1.gz -> /etc/alternatives/orbd.1.gz lrwxrwxrwx 1 root root 30 Jan 20 16:27 pack200.1.gz -> /etc/alternatives/pack200.1.gz lrwxrwxrwx 1 root root 33 Jan 20 16:27 policytool.1.gz -> /etc/alternatives/policytool.1.gz lrwxrwxrwx 1 root root 27 Jan 20 16:27 rmid.1.gz -> /etc/alternatives/rmid.1.gz lrwxrwxrwx 1 root root 34 Jan 20 16:27 rmiregistry.1.gz -> /etc/alternatives/rmiregistry.1.gz lrwxrwxrwx 1 root root 33 Jan 20 16:27 servertool.1.gz -> /etc/alternatives/servertool.1.gz lrwxrwxrwx 1 root root9 Jan 30 22:36 sh.1.gz -> dash.1.gz lrwxrwxrwx 1 root root 32 Jan 20 16:27 tnameserv.1.gz -> /etc/alternatives/tnameserv.1.gz lrwxrwxrwx 1 root root 32 Jan 20 16:27 unpack200.1.gz -> /etc/alternatives/unpack200.1.gz -rw-r--r-- 1 root root0 Jan 21 00:47 vmware.1.gz When I install the manpages-dev package, the package management shows me all fine: # apt install --reinstall manpages-dev # dpkg -L manpages-dev /. /usr /usr/share /usr/share/doc /usr/share/lintian /usr/share/lintian/overrides /usr/share/lintian/overrides/manpages-dev /usr/share/man /usr/share/man/man2 /usr/share/man/man2/_exit.2.gz /usr/share/man/man2/_syscall.2.gz /usr/share/man/man2/accept.2.gz ... /usr/share/man/man3/scalbnf.3.gz /usr/share/man/man3/scalbnl.3.gz /usr/share/man/man3/scandirat.3.gz ...and so on... But the /usr/share/man/man3 directory is still empty: # ls -la /usr/share/man/man3 insgesamt 8 drwxr-xr-x 2 root root 4096 Jan 18 14:23 . drwxr-xr-x 26 root root 4096 Jan 18 14:23 .. And btw the /usr/share/man/man2 directory doesn't exist. Are there any new configuration changes in 18.04 which supresses man page installation? I didn't know about a similar behavior in 17.10 and before. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1747303/+subscriptions -- Mailing list: https://launchpad.net/~touch-packages Post to : touch-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~touch-packages More help : https://help.launchpad.net/ListHelp
