You have been subscribed to a public bug:
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 root 9 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 root 0 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.
** Affects: apt (Ubuntu)
Importance: Undecided
Status: New
** Tags: bot-comment
--
Missing man pages of all packages which offer some
https://bugs.launchpad.net/bugs/1747303
You received this bug notification because you are a member of Ubuntu Touch
seeded packages, which is subscribed to apt in Ubuntu.
--
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
