How to save Gazebo Maps? [closed]
I have looked around but there is no save button anywhere.
rosrun map_server map_saver -f <your map="" name="">
So I put in my map name
rosrun map_server map_saver -f empty_world and nothing happens.
I keep reading about going to file and hit save as but I can't see any file button.