Missing man pages of all packages which offer some
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Ubuntu |
Invalid
|
Undecided
|
Unassigned |
Bug Description
First of all, I installed Ubuntu 18.04 from the base package listed here: http://
$ 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/alternativ
lrwxrwxrwx 1 root root 26 Jan 20 16:27 jjs.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 30 Jan 20 16:27 keytool.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 27 Jan 20 16:27 orbd.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 30 Jan 20 16:27 pack200.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 33 Jan 20 16:27 policytool.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 27 Jan 20 16:27 rmid.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 34 Jan 20 16:27 rmiregistry.1.gz -> /etc/alternativ
lrwxrwxrwx 1 root root 33 Jan 20 16:27 servertool.1.gz -> /etc/alternativ
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/alternativ
lrwxrwxrwx 1 root root 32 Jan 20 16:27 unpack200.1.gz -> /etc/alternativ
-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/
/usr/share/
/usr/share/man
/usr/share/man/man2
/usr/share/
/usr/share/
/usr/share/
...
/usr/share/
/usr/share/
/usr/share/
...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: | ubuntu → apt (Ubuntu) |
Thank you for taking the time to report this bug and helping to make Ubuntu better. It seems that your bug report is not filed about a specific source package though, rather it is just filed against Ubuntu in general. It is important that bug reports be filed about source packages so that people interested in the package can find the bugs about it. You can find some hints about determining what package your bug might be about at https:/ /wiki.ubuntu. com/Bugs/ FindRightPackag e. You might also ask for help in the #ubuntu-bugs irc channel on Freenode.
To change the source package that this bug is filed about visit https:/ /bugs.launchpad .net/ubuntu/ +bug/1747303/ +editstatus and add the package name in the text box next to the word Package.
[This is an automated message. I apologize if it reached you inappropriately; please just reply to this message indicating so.]