@[email protected] to [email protected] • 26 days agoEvery. Single. Time.lemmy.worldimagemessage-square139fedilinkarrow-up1957
arrow-up1957imageEvery. Single. Time.lemmy.world@[email protected] to [email protected] • 26 days agomessage-square139fedilink
minus-square@[email protected]linkfedilink3•edit-225 days agoExactly this! Having to wait for the actual update to finish and finally let me select the option in the GRUB menu.
minus-square@[email protected]linkfedilinkEnglish3•25 days agoThere is an option to default to the GRUB entry you chose last. I didn’t know that either until Manjaro used it.
Exactly this! Having to wait for the actual update to finish and finally let me select the option in the GRUB menu.
There is an option to default to the GRUB entry you chose last. I didn’t know that either until Manjaro used it.
Will have a look, thanks!