diff options
Diffstat (limited to 'gazebo.install')
| -rw-r--r-- | gazebo.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gazebo.install b/gazebo.install index 48efec7e3674..19479994c944 100644 --- a/gazebo.install +++ b/gazebo.install @@ -1,5 +1,6 @@ post_install() { echo "==> Now you need to export some Gazebo variables:" + echo "==> If you're using bash:" echo "==> echo 'source /usr/share/gazebo/setup.sh' >> ~/.bashrc" echo "==> source ~/.bashrc" } |