@nlb thank you but changing the folder name to sonic-pi didn’t help. @mrvanes what files do I need to edit and how? (linux noob)