Code

set terminal title only when isatty#687

Code

Merged

dirk-thomas merged 1 commit intoindigo-develros/catkin:indigo-develfrom terminal_title_only_if_availableros/catkin:terminal_title_only_if_availableCopy head branch name to clipboardOct 21, 2014

+1-1

Commits

Commits on Oct 20, 2014

• set terminal title only when isatty

  dirk-thomas

  committed
  6374ef6