linux/ohmyzsh
1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2026-05-01 04:30:37 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

First ROS plugin commit

Browse source 
Add masters URI registration and setting.
Add ROS IP definition through network interfaces registration and sorting.
Add ROS distribution switching and automatic sourcing.
Add catkin workspace registration and automatic sourcing
Add ROS status prompt function showing current master and his status.
This commit is contained in:
Mickaël Germain 2016-08-17 17:50:39 +02:00
commit 4dac7a23b8
2 changed files with 374 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
plugins/ros/ros.cache.default Normal file
View file

@ -0,0 +1,5 @@
master_ip_default = localhost
master_ip = localhost
ros_distro_default =
ros_interface =
ros_workspace =