19.2.6. ROS Network Setup

echo 'export ROS_MASTER_URI="http://$(hostname --short).local:11311"' >> ~/.zshrc
echo 'export ROS_HOSTNAME="$(hostname --short).local"' >> ~/.zshrc