Thank you very much for your quick reaction.
On Sat, Jun 04 2016 at 15:48 CEST, ow...@bugs.debian.org writes:
[...]
> From: Gianfranco Costamagna <locutusofb...@debian.org>
> Subject: Re: Bug#826303: virtualbox-dkms: Installation unsuccesfull
> To: <826303-d...@bugs.debian.org>
> Date: Sat, 4 Jun 2016 13:44:35 +0000 (UTC) (16 minutes, 20 seconds ago)
> Reply-To: Gianfranco Costamagna <locutusofb...@debian.org>
>
> control: severity -1 normal
>
> Hi,
>
> Il Sabato 4 Giugno 2016 15:33, Tobias Frost <t...@coldtobi.de> ha scritto:
>> Severity: grave
>
>
>
> LOL :)
> grave means your system breaks, you have data loss, and so on,
> not a program that is misbehaving
I use Emacs; debian-el for reporting bugs and the instruction says:
grave
*makes the package in question unuseable*
and this is actually the case
or mostly so, or causes data
loss, or introduces a security hole allowing access to the accounts of
users who use the package.
Is the instruction wrong or obsolete?
[...]
> linux-image is different from linux-headers
>>Please verify if you installed the kernel headers for 4.1.0-1-amd64...
>>Can you please post the output of dpkg -l linux-headers-4.1.0-1-amd64
dpkg -l linux-headers-4.1.0-1-amd64
dpkg-query: no packages found matching linux-headers-4.1.0-1-amd64
How to report officially this problem?
[...]
> From: jsb...@mimuw.edu.pl (Janusz S. Bień)
> Subject: virtualbox-dkms: Installation unsuccesfull
[...]
> Setting up virtualbox-dkms (5.0.20-dfsg-2) ...
> Loading new virtualbox-5.0.20 DKMS files...
> First Installation: checking all kernels...
> Building only for 4.1.0-1-amd64
> Module build for the currently running kernel was skipped since the
> kernel headers for this kernel do not seem to be installed.
>
> But, as you can see, I'm running 4.1.0-1-amd64...
>
> So what is the problem?
I found the message misleading. In my opinion it may suggest that "the
currently running kernel" is not 4.1.0-1-amd64.
Best regards
Janusz
--
,
Prof. dr hab. Janusz S. Bien - Uniwersytet Warszawski (Katedra Lingwistyki
Formalnej)
Prof. Janusz S. Bien - University of Warsaw (Formal Linguistics Department)
jsb...@uw.edu.pl, jsb...@mimuw.edu.pl, http://fleksem.klf.uw.edu.pl/~jsbien/
