| Distro | kernel | glibc |
|---|---|---|
| CentOS 7 | 3.10 | 2.17 |
| Debian 9 | 4.9.30 | 2.24 |
| Debian 10 | 4.9.118 | 2.28 |
| Debian 11 | 5.10.84 | 2.31 |
| Debian 12 | 6.1.27 | 2.36 |
| Debian 13 | 6.12.38 | 2.41 |
| RHEL 7 | 3.10 | 2.17 |
| RHEL 8 | 4.18 | 2.28 |
Patches to skip the splashscreen and logo/version display when the PICO-8 editor starts. Intended for development purpose only.
Please check the thread: https://www.lexaloffle.com/bbs/?tid=3485. It contains instructions on how to reproduce the patch for different versions and OSes.
Download one of the patches below matching your PICO-8 version, then patch your binary.
At first I didn't manage to upload binaries as raw gists, so I pasted binary dumps instead so you could convert them back to binaries with xxd reverse dump operation xxd -r my.patch.txt > my.patch.
But I managed to upload the binaries by cloning the repo and pushing the new files back, so now both the dump and raw versions of the patches are available.