Re: [qubes-users] How to install kernel headers in debian 9?
Am Mittwoch, 19. April 2017 12:10:20 UTC+2 schrieb Holger Levsen: > On Wed, Apr 19, 2017 at 11:42:16AM +0200, c...@company.com wrote: > > I've upgraded my debian-8 template to debian-9 (stretch). Now I want to > > install vmware player and it asks me where the kernel headers are located. > > I could not find them in /usr/src and I also can't find them via apt-cache > > search. Is there a way to install the kernel headers for Linux debian-9 > > 4.8.12-12.pvops.qubes.x86_64? > > did you search with "apt-cache search kernel headers"? > try "apt-cache search linux headers" instead :) > > > -- > cheers, > Holger Thanks Holger! But I only see headers for 4.9.0-2, but I need them for 4.8.12-12.pvops.qubes.x86_64 which probably is some qubes specific kernel. Maybe the qubesOS team has to publish the headers in the qubes repo because this special package is not included in normal OS header files...? Any ideas? Regards, a guy who loves qubesOS, but is not the best linux tinkerer -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/c8d13ecf-6c8c-4474-8c27-ab1b62bf2b4c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [qubes-users] How to install kernel headers in debian 9?
On Wed, Apr 19, 2017 at 11:42:16AM +0200, c...@company.com wrote: > I've upgraded my debian-8 template to debian-9 (stretch). Now I want to > install vmware player and it asks me where the kernel headers are located. > I could not find them in /usr/src and I also can't find them via apt-cache > search. Is there a way to install the kernel headers for Linux debian-9 > 4.8.12-12.pvops.qubes.x86_64? did you search with "apt-cache search kernel headers"? try "apt-cache search linux headers" instead :) -- cheers, Holger -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/20170419101012.GA7121%40layer-acht.org. For more options, visit https://groups.google.com/d/optout. signature.asc Description: Digital signature
[qubes-users] How to install kernel headers in debian 9?
Hello, I've upgraded my debian-8 template to debian-9 (stretch). Now I want to install vmware player and it asks me where the kernel headers are located. I could not find them in /usr/src and I also can't find them via apt-cache search. Is there a way to install the kernel headers for Linux debian-9 4.8.12-12.pvops.qubes.x86_64? Thanks! -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/CAA3BrRfSrTLwDWucevRsi2-PCEg7gDd1CpDyY9OO%3DQSz0gTkAQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
