I am using my pi-top with a 4k monitor as well as the pi-top screen. It works well. But…
I am also trying (and failing) to ping local hosts. I can if I change /etc/resolv.conf to put my gateway first in the list. But…
When I change the above settings and reboot, the changes I have made to the config files are removed and returned to some ‘default’.
I suspect this is something to do with ‘protecting’ the  when used in the classroom. However, for us normal people, this is incredible annoying!
How can I make config changes like I do on my other (few dozen) Pis? I know I can replace the OS with Raspbian, but I’d rather stay with Sirius as it has support for all the add-ons I have (screen/keyboard/baseplates etc).