April 1, 2020
9:38 a.m.
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