![](/static/253f0d9b/assets/icons/icon-96x96.png)
![](https://programming.dev/pictrs/image/028151d2-3692-416d-a8eb-9d3d4cc18b41.png)
1·
11 months agoThanks.
The link suggests it might be undone after GRUB updates. Maybe I will just edit the line and at the init level at the boot menu.
Ah, yes. I felt a bit uncomfortable posting here, glad to know linux4noobs exits here; subscribed.
Edge is stuff tacked on Chromium. How can it be better?!