Add direct server management via command line #3157
Replies: 2 comments 1 reply
-
Hi there, I've made recent architectural moves to make this easier in the future. If you look at the https://github.com/sonic-pi-net/sonic-pi/blob/dev/app/server/ruby/bin/daemon.rb |
Beta Was this translation helpful? Give feedback.
-
Hey @m-roberts, now v4 of Sonic Pi is out, did you get chance to check out the new process booting infrastructure? Does it serve your purposes as is, or does it still need some modification? I'm assuming we still need to consider some sort of basic CLI around |
Beta Was this translation helpful? Give feedback.
-
It would be great if Sonic Pi came with the ability to easily start/stop the server (e.g. a simple
sonic-pi-server
CLI)(Note: this PR refers specifically to Raspberry Pi, but I see no reason this wouldn't be useful for other platforms)
Currently on pi-topOS, we are using this script in
/usr/bin/sonic-pi-server
:This handles a couple of things:
This script won't be going anywhere any time soon (Sonic Pi updates take a while to make it to Raspberry Pi OS...!), but it would be great if in future handling the server via a convenient entrypoint script was easier!
Beta Was this translation helpful? Give feedback.
All reactions