Open a GitHub issue. Please include:
- Output of
ws doctor - Output of
ws --version - OS and ROS distro (
echo $ROS_DISTRO) - The exact command you ran and the full output
- Fork the repository and create a branch.
- Make your changes — see the repository layout for where things live.
- Validate your changes:
make install source ~/.bashrc ws doctor ws build --help ws cd --help
- Open a pull request with a description of what changed and why.
- All scripts:
#!/usr/bin/env bash+set -euo pipefail. - Shared helpers go in
lib/ws_lib.sh(sourced, not executed — noset -euo pipefailat top level). - New subcommands: add a script in
bin/, register it ininstall.sh(COMMAND_NAMES/COMMANDS), and add a dispatch case inbin/ws_manager.sh. - Completion: update
__ws_complete_dispatchincompletion/ws_manager.bash. - Keep user-visible strings consistent with existing messages (lowercase, no trailing period on errors).
- Update
VERSIONandCHANGELOG.md. - Tag:
git tag -a v$(cat VERSION) -m "Release $(cat VERSION)". - Push tag.