package for kernel man pages (section 9)
sktseer at gmail.com
Tue Dec 3 04:32:52 UTC 2013
On 12/02/2013 06:19 AM, Tom H wrote:
> On Sun, Dec 1, 2013 at 10:45 PM, sktsee <sktseer at gmail.com> wrote:
>> On Sun, 01 Dec 2013 23:05:13 +0200, David Shwatrz wrote:
>>> Ubuntu 13.04 with kernel 3.8.0-19-generic DS
>> Easiest way would be to download Debian's linux-manual package from here
>> and then install it with 'sudo dpkg -i linux-manual-3.9_3.9.6-1~bpo70
> Much better than my solutions.
Nah, just luckier :)
> I somehow assumed that since man9 wasn't packaged in Ubuntu, it
> wouldn't be packaged in Debian. Silly!
> But I wouldn't "dpkg -i" a Debian deb on a production system because
> it'll install the manpages under "/usr/share/man" and I prefer to
> install packages that don't originate from my sources in "/etc/apt"
> under "/usr/local" (or "/opt").
> So I'd unpack the deb, move man9 to "/usr/local/man" or
> "/usr/local/share/man", and run mandb.
Eh, I've not had any problems installing packages locally as long as the
package adheres to Debian/Ubuntu policy and dependencies are satisfied.
Of course, exercising some due diligence before installing any package
not from your distro's repos is A Good Idea.
More information about the ubuntu-users