Source catkin workspace #7

Open

Open

Source catkin workspace#7

Labels

When creating a catkin workspace we need to stop JupyterLab and source the workspace before running lab again. We want to source the workspace to be able to access the packages from Zethus.

In Binder make a default catkin workspace and source it.
Add right-click on catkin folder to source it.

added

on Aug 25, 2020

mentioned this

on Sep 28, 2022

Workspace Extension Functionality #36

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

Code with Copilot Agent Mode

No branches or pull requests

Participants