Not only that, but v10.1.2 now includes the first release build for Linux! (Which I’ve been waiting for.)
I guess this wasn’t the case when you posted, since the Linux files are dated 6 hours ago as I write.
I guess it might not be quite ready for announcement, since inform7.com hasn’t yet got around to linking to v10.1.2, and I don’t see specific release notes for the Linux build – I guess the inform7-ide 2.0.0 tag covers these builds. (Thanks to @ptomato for all your work.)
The release candidate thread has install instructions and some talk about distro compatibility and such. Unless you’re comfortable with Linux (or have been following the RCs) it might be worth waiting a bit for guidance, but here’s my impatient look at the release files anyway (not that I have run any of them yet):
- two files (.flatpak and .flatpakref) which I assume together constitute a Flatpak release (which the RC thread says is likely to be the recommended install method); but I imagine it’d be preferable to install from Flathub once it’s updated, and the wheels look to be in motion for that.
(Disclaimer: I don’t know much about Flatpak.) - .deb – experimentally, definitely needs an OS newer than Debian buster (current oldstable) (which seems fair enough, I should really upgrade)
- .rpm – with “fc35” in the name (same as the RCs), which I assume denotes “Fedora Core 35” and tells you something about compatibility