apt-get source does not always retrieve the source of the currently running kernel about kpatch HOT 5 CLOSED

Thanks @flaming-toast for reporting this issue!

I think we could do something like dpkg -l linux-image-$(uname -r), find the version in the output (e.g. 3.13.0-24.47), and then apt-get source linux=3.13.0-24.47. That still has the downside that you wouldn't be able to get older versions of the kernel, so you'd have to install the latest available kernel before it would work. But at least it would prevent mismatches between the running kernel and the compiled source.

As to how to get older versions of kernel source, I don't like the git clone approach so much because it's very slow and hackish. Maybe ubuntu has an archived source repository out there somewhere for older packages?

from kpatch.

Ah, found several versions of kernel source at http://us.archive.ubuntu.com/ubuntu/pool/main/l/linux/.

So maybe we could do dpkg -l linux-image-$(uname -r) to get the kernel version and then download the source from there.

from kpatch.

I've found apt-get source ${package}=${version} to be very fickle, and apt would be sneaky sometimes by choosing a different package over the one you supply as an argument. It's probably not reliable if we want to grab very specific versions of the kernel source.

I agree with your point about git -- cloning the ubuntu repo was painstakingly slow. We could use the pool archive to alleviate this issue for now.

So perhaps something like...
dpkg-query -W -f='$(Version}' linux-image-$(uname -r) to grab the exact version
With the extracted version numbers, use wget to download the deb package from http://us.archive.ubuntu/pool/main/l/linux/
Using dpkg -x to extract the deb to a temporary directory. Then extract the kernel source, compile, etc.

How does this all sound?

from kpatch.

Sounds good to me! Pull requests are welcome ;-)

from kpatch.

Fixed with #240.

from kpatch.