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.

Sign up for GitHub

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

Jump to bottom

Deprecate dev directory #574

Open
Timple opened this issue Jul 2, 2021 · 3 comments
Open

Deprecate dev directory #574

Timple opened this issue Jul 2, 2021 · 3 comments
Assignees
@ar13pit @MatthijsBurgh

Comments

@Timple
Copy link
Member

Timple commented Jul 2, 2021 •
edited
Loading

Is anyone using this? Since we have isolated builds since long time using catkin build.

Reason for asking: We've removed all traces of the dev dir for a much easier ROS2 transition.

Implementation detail: remove TUE_DEV_DIR and rename TUE_SYSTEM_DIR to TUE_WS_DIR
@MatthijsBurgh
Copy link
Member

I think we can do this.

@ar13pit
Copy link
Contributor

ar13pit commented Jul 2, 2021

I agree. I have never used the dev directory.

@MatthijsBurgh
Copy link
Member

The most difficult thing here is to get rid of it on current setups

@ar13pit ar13pit mentioned this issue Sep 27, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ar13pit ar13pit

@MatthijsBurgh MatthijsBurgh

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Timple @ar13pit @MatthijsBurgh