Similar to the .deb file I have released for the Raspberry Pi, I have now produced a binary deb file for the Ubuntu 20.04 distribution. Note this will NOT be suitable for Ubuntu 18.04 which does not support directly some of the necessary packages. Likewise, it is doubtful if it will work on other linux packages.
You will need to make sure your sound system is set up for use with jackd. I also install qjackctl which is a quick and easy way to configure it.
You can download it from here together with install/uninstall details. I am happy to field questions about installing it, but problems with Sonic Pi itself should be raised in the usual ways on github or here. Thanks to my two testers for trying it out on their machines.