Ok. So you can finally update pico8 on pocket chip without having to flash by typing the following in terminal:
sudo apt update && sudo apt install chip-pico-8
Also thought some of you may be interested in the following link regarding a 'console' version of pico8 that is being released for $29.
https://getchip.com/pages/chip