Re: can't get grub to use /etc/default/grub

2018-11-25 Thread Francis . Montagnac
Hi On Sun, 25 Nov 2018 12:40:08 -0500 Christopher wrote: > personally, I'd prefer we just run mkconfig after kernel updates. I do the same, but automatically by adding a script: /etc/kernel/postinst.d/setup-grub-cfg that does: -- cut here ---

Re: can't get grub to use /etc/default/grub

2018-11-25 Thread Tim via users
On 25/11/18 4:14 am, sean darcy wrote: > I'm trying to disable the spectre mitigations. Enquiring minds would like to know why? This is up there with daft practices like turning off firewalls, SELinux, never updating, etc. I can imagine temporary disablements to run tests, but permanent ones don

Re: can't get grub to use /etc/default/grub

2018-11-25 Thread Christopher
On Sun, Nov 25, 2018 at 1:54 AM Samuel Sieb wrote: > > On 11/24/18 1:20 PM, stan wrote: > > The only time grub-mkconfig runs is if it is run manually. On kernel > > updates a program called grubby runs and just copies the boot lines > > from previous kernels. So, if you want the new kernel boot

Re: can't get grub to use /etc/default/grub

2018-11-24 Thread Samuel Sieb
On 11/24/18 1:20 PM, stan wrote: The only time grub-mkconfig runs is if it is run manually. On kernel updates a program called grubby runs and just copies the boot lines from previous kernels. So, if you want the new kernel boot line, as Oleg suggested, you will have to run, in /boot/grub2 or /

Re: can't get grub to use /etc/default/grub

2018-11-24 Thread Oleg Cherkasov
On 24.11.2018 22:20, stan wrote: On Sat, 24 Nov 2018 15:19:07 -0500 sean darcy wrote: On 11/24/18 1:34 PM, Oleg Cherkasov wrote: Shall you update grub configuration instead? grub2-mkconfig --output=/boot/grub2/grub.cfg ___ Yes, I could do that.

Re: can't get grub to use /etc/default/grub

2018-11-24 Thread stan
On Sat, 24 Nov 2018 15:19:07 -0500 sean darcy wrote: > On 11/24/18 1:34 PM, Oleg Cherkasov wrote: > > Shall you update grub configuration instead? > > > > grub2-mkconfig --output=/boot/grub2/grub.cfg > > ___ > > Yes, I could do that. But I'd like

Re: can't get grub to use /etc/default/grub

2018-11-24 Thread sean darcy
On 11/24/18 1:34 PM, Oleg Cherkasov wrote: On 24.11.2018 18:44, sean darcy wrote: I'm trying to disable the spectre mitigations. I've set up /etc/default/grub: cat grub GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)" GRUB_DEFAULT=saved GRUB_DISABLE_SUBMENU=true

Re: can't get grub to use /etc/default/grub

2018-11-24 Thread Oleg Cherkasov
On 24.11.2018 18:44, sean darcy wrote: I'm trying to disable the spectre mitigations. I've set up /etc/default/grub: cat grub GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)" GRUB_DEFAULT=saved GRUB_DISABLE_SUBMENU=true GRUB_TERMINAL_OUTPUT="console" #GRUB_CMDLIN

can't get grub to use /etc/default/grub

2018-11-24 Thread sean darcy
I'm trying to disable the spectre mitigations. I've set up /etc/default/grub: cat grub GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)" GRUB_DEFAULT=saved GRUB_DISABLE_SUBMENU=true GRUB_TERMINAL_OUTPUT="console" #GRUB_CMDLINE_LINUX="resume=UUID=d695f875-5220-49ab-