Skip to content

Instantly share code, notes, and snippets.

View DevonMorris's full-sized avatar
💥

Devon Morris DevonMorris

💥
View GitHub Profile
@plusk01
plusk01 / gazebo-kill.md
Created August 25, 2017 15:58
Kill gazebo process quicker

To make Gazebo die sooner, edit the file at /opt/ros/kinetic/lib/python2.7/dist-packages/roslaunch/nodeprocess.py:

Near line 57, change the timeouts to be:

_TIMEOUT_SIGINT  = 0.5 #seconds
_TIMEOUT_SIGTERM = 0.5 #seconds

This will cause ROS to send a kill signal much sooner.

@posquit0
posquit0 / gist:93200f7ca1ad3d0c943c
Created April 1, 2015 10:23
GDB with Python 2.7 in Ubuntu
apt-get install python2.7-dev python2.7
apt-get build-dep gdb
apt-get source gdb
cd gdb-*
sed -i -E "s|python3|/usr/bin/python2.7|" debian/rules
dpkg-buildpackage -uc -us -j8
dpkg-install ../*.deb