Already done ! 🙁
Le 29/04/2024 à 08:25, Daniel van Vugt a écrit : > After editing /etc/default/grub, please also run: > > sudo update-grub > > and then reboot. >
Already done ! 🙁
Le 29/04/2024 à 08:25, Daniel van Vugt a écrit :
> After editing /etc/default/grub, please also run:
>
> sudo update-grub
>
> and then reboot.
>