Hello there, I’m a CS teacher in high school in Italy, do you plan to release Sonic Pi for Ubuntu or other Linux distribution (in the Internet I’ve found only old or not working installation file)
Have a look at Flatpak, I used to compile Sonic Pi for Ubuntu, Arch, Endeavour… but the Flatpak version works fine and is obviously a lot easier to get running.
Have a look at configuring your distro for Flatpak here: Set Up Flathub | Flathub
And install Sonic Pi by clicking the button here: Sonic Pi | Flathub or running
flatpak install flathub net.sonic_pi.SonicPi to install it and
flatpak run net.sonic_pi.SonicPi to run it.
Thanks, R2L! It does work!