** Description changed:

  On Ubuntu 18.04, with `apt-get source <packagename>` 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 source linux-image-generic` -- leads to "linux-meta" which is, 
again, not it
  `apt-get source linux` -- obtains the correct src deb but that's not 
transparent or obvious to new users and a deviation from the usual standard of 
using `apt-get source`.
+ 
+ Prior discussion and background on #ubuntu-devel:
+ 
+ * https://irclogs.ubuntu.com/2019/05/24/%23ubuntu-devel.html#t10:55

-- 
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:
  It is not clear how to install sources for the running kernel

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+bug/1830379/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to