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 "$@" ;; |