diff options
| -rwxr-xr-x | gist | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -871,7 +871,7 @@ case "$1" in | |||
| 871 | _clean_repos ;; | 871 | _clean_repos ;; |
| 872 | config | c) | 872 | config | c) |
| 873 | shift | 873 | shift |
| 874 | _configure "$@" && (_apply_config config && _check_protocol) ;; | 874 | _configure "$@" && { _apply_config config && _check_protocol &>/dev/null; } ;; |
| 875 | user | u) | 875 | user | u) |
| 876 | shift | 876 | shift |
| 877 | _query_user "$@" ;; | 877 | _query_user "$@" ;; |