diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-22 20:54:56 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-24 12:02:30 -0700 |
commit | 4e9134a8200772943809f077167f0ceef8472f7b (patch) | |
tree | 6f71a843a9991bc9a7ff033da5a0e1968f79ad94 | |
parent | 24eed155a7e255e1df0fe7b4c4ed2825225ea8b6 (diff) | |
download | git-remote-gcrypt-4e9134a8200772943809f077167f0ceef8472f7b.tar.gz |
output stderr from other commands when the repository is not found
Closes: #914059
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
-rwxr-xr-x | git-remote-gcrypt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/git-remote-gcrypt b/git-remote-gcrypt index ba75f09..efd7e43 100755 --- a/git-remote-gcrypt +++ b/git-remote-gcrypt @@ -492,7 +492,7 @@ read_config() ensure_connected() { local manifest_= r_repoid= r_name= url_frag= r_sigmatch= r_signers= \ - tmp_manifest= + tmp_manifest= tmp_stderr= if isnonnull "$Did_find_repo" then @@ -529,7 +529,9 @@ ensure_connected() tmp_manifest="$Tempdir/maniF" - GET "$URL" "$Manifestfile" "$tmp_manifest" 2>/dev/null || { + tmp_stderr="$Tempdir/stderr" + GET "$URL" "$Manifestfile" "$tmp_manifest" 2>| "$tmp_stderr" || { + cat >&2 "$tmp_stderr" echo_info "Repository not found: $URL" if ! isnull "$Repoid"; then echo_info "..but repository ID is set. Aborting." |