docker-library / docs

Documentation for Docker Official Images in docker-library
https://github.com/docker-library/official-images
MIT License
5.08k stars 2.2k forks source link

#2456 talker_listener.launch -> talker_listener_launch #2458

Closed FHefterSRH closed 4 months ago

FHefterSRH commented 4 months ago

As mentioned in the bug report. This would be the solution for all the poor beginners who struggled with the first examples.

Fixes https://github.com/docker-library/docs/issues/2456

tfoote commented 4 months ago

For better cross reference this is for issue #2456 (bug numbers in the title don't generate automatic cross links, they need to be in the body.)

FHefterSRH commented 4 months ago

My plan was to do this: "gh checkout origin/master -- ros/README.md" But I found no way to do it in the web frontend quickly. So I deleted the file from PR. Hope this is right?

whalelines commented 4 months ago

It appears this PR now deletes the README.md rather than undoing the changes you made to it. Perhaps just use the CLI?

FHefterSRH commented 4 months ago

In CLI it took seconds. Grr..