[Pkg-virtualbox-devel] Bug#826303: closed by Gianfranco Costamagna <locutusofborg at debian.org> (Re: Bug#826303: virtualbox-dkms: Installation unsuccesfull)

Janusz S. Bień jsbien at mimuw.edu.pl
Sat Jun 4 14:12:51 UTC 2016


Thank you very much for your quick reaction.

On Sat, Jun 04 2016 at 15:48 CEST, owner at bugs.debian.org writes:

[...]

> From: Gianfranco Costamagna <locutusofborg at debian.org>
> Subject: Re: Bug#826303: virtualbox-dkms: Installation unsuccesfull
> To:  <826303-done at bugs.debian.org>
> Date: Sat, 4 Jun 2016 13:44:35 +0000 (UTC) (16 minutes, 20 seconds ago)
> Reply-To: Gianfranco Costamagna <locutusofborg at debian.org>
>
> control: severity -1 normal
>
> Hi,
>
>  Il Sabato 4 Giugno 2016 15:33, Tobias Frost <tobi at 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: jsbien at 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)
jsbien at uw.edu.pl, jsbien at mimuw.edu.pl, http://fleksem.klf.uw.edu.pl/~jsbien/



More information about the Pkg-virtualbox-devel mailing list