Skip to content

Instantly share code, notes, and snippets.

@garaemon
Created October 5, 2019 03:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save garaemon/b9e96ece6c2730bcbffac8fccadbc2a0 to your computer and use it in GitHub Desktop.
Save garaemon/b9e96ece6c2730bcbffac8fccadbc2a0 to your computer and use it in GitHub Desktop.
(defun ros-catkin-make (dir)
"Run catkin_make command in DIR."
(interactive (list default-directory))
;; clear compilation buffer first not to occupy memory space.
(if (get-buffer "*catkin_make*")
(kill-buffer "*catkin_make*"))
(let* ((default-directory dir)
(compilation-buffer-name-function (lambda (major-mode-name) "*catkin_make*")))
(compile "catkin bt --no-status"))
(switch-to-buffer-other-window (get-buffer-create "*catkin_make*"))
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment