The instructions are based on this answers.ros.org thread.
You may need the latest pip, follow the official instructions.
Install bloom:
George Kouros gkouros
awesomebytes
/ debian_from_ros_pkg.md
Last active
May 7, 2024 11:50
How to create a debian from a ROS package
awesomebytes
/ python_development_environment.md
Last active
May 10, 2023 04:38
My development environment, how to install it
The package manager of python packages is called pip.
sudo apt-get install python-pip
If you need a pip package as a debian you can use Victor's debian from pip.
myusuf3
/ delete_git_submodule.md
Created
November 3, 2014 17:36
How effectively delete a git submodule.
To remove a submodule you need to:
- Delete the relevant section from the .gitmodules file.
- Stage the .gitmodules changes git add .gitmodules
- Delete the relevant section from .git/config.
- Run git rm --cached path_to_submodule (no trailing slash).
- Run rm -rf .git/modules/path_to_submodule (no trailing slash).
- Commit git commit -m "Removed submodule "
- Delete the now untracked submodule files rm -rf path_to_submodule