diff options
Diffstat (limited to 'gazebo.install')
| -rw-r--r-- | gazebo.install | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gazebo.install b/gazebo.install new file mode 100644 index 000000000000..19479994c944 --- /dev/null +++ b/gazebo.install @@ -0,0 +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" +} |