How to change Sonic Pi's sound card boot settings

#1

Hi all ,
I am trying to change some boot settings in sonic pi , I would like to use soundflower64 as a default boot device and specify certain channels (9-15) to use as output.
The idea is to send sonic pi audio to reaper and capture split tracks in it.
I would also like to know if it is possible c=to see and change supercollider’s port number so I can use tidal and sonic pi together without conflict

Thanks in advance

Sebastian