Q: Can I change the ROS workspace URI for the Formant agent after it has been installed? I was using a different installation path for my software earlier and now I'm using a different one. I don't want to remove the device and add it again as it'll require me to reconfigure the streams for it.

Yes. The ROS_MASTER_URI is stored in the /var/lib/formant/.bashrc file on the device. You can edit this path and restart the agent.

Additionally, it is possible to reprovision the device, export the configuration to a YAML (from the device configuration), or save the configuration as a template if you want to make changes but want to retain the streams.