Hi Mike, Michael Gilbert wrote: > > Actually I installed init-select and immediately rebooted to see the new > > GRUB menu and was quite puzzled that it was totally unchanged. > > > > So please update the package description so that it's clear that > > changing the init system with init-select needs editing a config file > > and running a command. > > The current approach is to act more like switch, and intentionally > selects the default unless the user takes specific action,
... which is perfectly fine. > which is to run the tools manually via "dpkg-reconfigure > init-select", which is more automated. Oh, ok. I though I had debconf-priority set to low, but obviously didn't, at least with "dpkg-reconfigure -plow init-select" I do get question I was expecting in the other bug report (http://bugs.debian.org/734336). So #734336 was mostly PEBKAC. Sorry for the noise. (Some hint in some documentation pointing to "dpkg-reconfigure -plow init-select" would be much appreciated, though. > I'm not sure if I want to set up more grub entries since the number of > kernels to select from will grow exponentially as (number > kernels)^(number of inits). Yeah, that's known and expected. > But I'm open to alternative ideas. Actually when I noticed that init-select goes into a different direction than I expected, I started thinking about how to implement what I thought init-select would be like. :-) Regards, Axel -- ,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/ : :' : | Debian Developer, ftp.ch.debian.org Admin `. `' | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE `- | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
