Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[jsk_maps] rename start_empty_map.launch and standardize as other map launch #1371

Merged
merged 2 commits into from
Nov 28, 2023

Conversation

knorth55
Copy link
Member

@knorth55 knorth55 commented Oct 18, 2022

rename start_empty_map.launch to start_map_empty_world.launch in order to standardize as other map launch.
other map launches' name are start_map_[eng2|eng8].launch, so the launch for empty_world should be start_map_empty_world.launch.
the file name rule is used to launch in pr2.launch and fetch_bringup.launch.
I add symbolic link to keep the old filename launch, too.

https://github.com/jsk-ros-pkg/jsk_robot/blob/5c3fce88184e953ba753c83b53bdb07c806771eb/jsk_pr2_robot/jsk_pr2_startup/pr2.launch#L62

https://github.com/jsk-ros-pkg/jsk_robot/blob/5c3fce88184e953ba753c83b53bdb07c806771eb/jsk_fetch_robot/jsk_fetch_startup/launch/fetch_bringup.launch#L185

@knorth55 knorth55 changed the title [jsk_mapcs] rename start_empty_map.launch and standardize as other map launch [jsk_maps] rename start_empty_map.launch and standardize as other map launch Oct 19, 2022
@k-okada k-okada merged commit 429a1c1 into jsk-ros-pkg:master Nov 28, 2023
@knorth55 knorth55 deleted the jsk-maps-start-map-empty-world branch November 28, 2023 06:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants