Sonic Pi ships a binary on Linux named sonic-pi. To avoid confusion, I will rename my binary to something with a clear difference (currently sonic_pi). I am not a huge fan of sonic_pi_cli, as I feel the cli is a bit redundant in a command line context. If anyone has any suggestions for the new binary name, I'd like to hear them.
Sonic Pi ships a binary on Linux named
sonic-pi. To avoid confusion, I will rename my binary to something with a clear difference (currentlysonic_pi). I am not a huge fan ofsonic_pi_cli, as I feel thecliis a bit redundant in a command line context. If anyone has any suggestions for the new binary name, I'd like to hear them.