Google have an official linux environment that you can switch on in ChromeOs Settings. Should allow you to switch easily betweeen ChromeOs and Linux. <http://forum.world.st/file/t368903/Screenshot_2020-04-01_at_10.png>
-- Sent from: http://forum.world.st/Pharo-Smalltalk-Users-f1310670.html