Changing locale / time / format settings in the settings / configuration manager in Gnome 3 works fine for my user in Ubuntu 20.04 but the root user is still having default stuff for for instance time settings which in my case is Thai.... Read More

I give up. There you have it, the confession. Too much basic stuff is lacking from Pico, as you might know we’ve covered both a way of matching a la PHP’s preg_match and JSON. I’ve realized however that I’m never gonna be finished creating a proper application doing it in 100% Pico.... Read More