Hey yall, I just got a hp chromebook 32bit using linux(beta) and am trying to install pico-8. i've followed the instructions on this page https://www.lexaloffle.com/bbs/?pid=139119#p and keep getting the "cannot execute binary file: Exec format error" error, when i "./pico8_32bit".

i tried downloading a few other versions of the linux/raspi zip files but still nothing seems to work.
i am a total noob when it comes to linux so it might be the case that i am just messing w/ the code.

thank you in advance <3

I use the Raspi version on my HP Chromebook. I don't think you have to do any specific permission settings if I remember correctly. But I do use the command ./pico8 to start is and not the ./pico_32bit one you've been trying.

ok, so i download the raspi file.
i do the wget install and the libsd12-dev.
set the directory to pico 8 folder in linux files with cd ~/pico-8.
make sure pico8 is executable with chmod +x pico8.
then run it with ./pico8.
.....but it doesn't run.

so i'm kinda stumped and am about to just return this chromebook lol.

any advice thesailor?

Maybe post the system specs before giving up

If this is the installer, you should give it r/w perms along with execute. Even if its just the normal pico-8 executable, pico-8 still makes files and reads config on first run, so you should try chmod rwx pico8, and its up to you if you want to use a+ or just give it perms for current user.

I don't suggest that you return the Chromebook just yet. If it can run on a Raspberry Pi it will definitely run on the Chromebook.