Loading envsetup.sh +1 −1 Original line number Diff line number Diff line Loading @@ -256,7 +256,7 @@ function settitle() function addcompletions() { if [ "$(uname)" = "Darwin" ] ; then if [ "${BASH_VERSINFO[0]}" -lt 4 ] ; then return fi Loading Loading
envsetup.sh +1 −1 Original line number Diff line number Diff line Loading @@ -256,7 +256,7 @@ function settitle() function addcompletions() { if [ "$(uname)" = "Darwin" ] ; then if [ "${BASH_VERSINFO[0]}" -lt 4 ] ; then return fi Loading