-
Notifications
You must be signed in to change notification settings - Fork 6.7k
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
[gz-*] Rename gz-* ports #43945
base: master
Are you sure you want to change the base?
[gz-*] Rename gz-* ports #43945
Conversation
In the past, we had
Just saying. |
Thank you for the info. That good practice. |
@traversaro Can you help too? |
You can do that. CI won't complain because it starts from scratch. But classic mode users start with the old ports installed.
No 100% clear what you mean. But the proposed smooth approach would keep |
I am not sure I get what you meant with " There is an issue when they look for port, because it still looking in port name and number, but no longer available. (only port name)." |
Sorry I didn't been clear. Gazebo packages installing with the package name with the major version. Since I rename the ports as @traversaro suggested:
Clearly I didn't do the correct changes, and ci is fail due that it not find the package name with the major version. |
c114a30
to
5642692
Compare
5642692
to
7d9526b
Compare
I figure it out. |
I bring back old ports as @dg0yt suggested:
|
./vcpkg x-add-version --all
and committing the result.