Update error with "dev" package.

[M A Young]

On Fri, 3 Sep 2004, Mike Klinke wrote:

> Received the following error during this morning's updates:
>
> Cannot install the dev package: mounted devfs detected.
> error: %pre(dev-3.11-1) scriptlet failed, exit status 1
> error:   install: %pre scriptlet failed (2), skipping dev-3.11-1
>
> It seems bugzilla doesn't list a "dev" package option to file bugs
> against. Does anyone know if the "dev86" listed in the bugzilla
> menu would be the appropriate place?

It is right to refuse to update, because you have udev running, which
handles device management, so you shouldn't need the dev package, and
installing won't work anyway as you install on a temporary file system
rather than the real one, so the files probably won't be there at the next
reboot.

But there remain interesting questions like how you can uninstall dev, and
whether you can actually uninstall it anyway, as a few other packages
require the dev package.

	Michael Young