v.io/jiri@v0.0.0-20160715023856-abfb8b131290/scripts (about) bootstrap_jiri jiri jiri-bash-completion.sh