Merge pull request #814 from edubxb/jungle-completion

Add jungle completion
pull/816/head
Nils Winkler 2016-10-30 16:19:37 +01:00 committed by GitHub
commit d2c3b05ec8
1 changed files with 1 additions and 0 deletions

View File

@ -0,0 +1 @@
[[ -x "$(which jungle)" ]] && eval "$(_JUNGLE_COMPLETE=source jungle)"