(however, I don't think there's any obvious package to assign it to; a
solution, once decided, won't necessarily be in the linux package)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1830379
Title:
Thank you for taking the time to report this bug and helping to make
Ubuntu better.
Based on the IRC discussion, I think there's consensus amongst Ubuntu
developers that we can do something (even if documentation) to make it
easier to find the right sources, so this bug is valid.
** Changed in:
** Description changed:
On Ubuntu 18.04, with `apt-get source ` being the de facto
way of getting (src-deb) sources for a binary package, it is not so with
the linux kernel.
`apt-get source linux-image-$(uname -r)` -- leads to "linux-signed" which is
not the kernel src deb
`apt-get
