Using ${prefix}/lib in package.xml plugin_path is wrong. #107
Open
peci1 wants to merge 2 commits intoosrf:masterfrom
Open
Using ${prefix}/lib in package.xml plugin_path is wrong. #107peci1 wants to merge 2 commits intoosrf:masterfrom
peci1 wants to merge 2 commits intoosrf:masterfrom
Conversation
Contributor
Author
|
The original PR is backed up here: https://osrf-migration.github.io/gazebo_tutorials-gh-pages/#!/osrf/gazebo_tutorials/pull-requests/552 |
Contributor
Author
|
@seanyen Do you have any experience with env hooks on Windows? Is that a good way to solve this issue? |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This is a port of https://bitbucket.org/osrf/gazebo_tutorials/pull-requests/552/using-prefix-lib-in-packagexml-plugin_path to github.
The PR did not get finally decided on bitbucket, so I'd like to continue here. One suggestion was to use the change proposed here, and another was to completely avoid setting plugin_path in package.xml and use env hooks instead.
Martin Pecka, Nov 2019
Louise Poubel, Jan 2020
Martin Pecka, Jan 2020
Louise Poubel, Jan 2020
Martin Pecka, Jan 2020