You are using a very old version of Sonic Pi. The official version is 3.1 now, so I think that would be a good first step. While linux isn’t officially supported, it is possible to build it from source with a bit of fiddling. You might want to take a look at this thread: Build under ubuntu 19.04 DISCO