gitui-org/gitui

Cannot push with an ssh alias - failed to resolve address

Open

#496 geöffnet am 20. Jan. 2021

Auf GitHub ansehen
 (23 Kommentare) (5 Reaktionen) (0 zugewiesene Personen)Rust (721 Forks)batch import
help wanted

Repository-Metriken

Stars
 (21.937 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 41T 9h) (6 gemergte PRs in 30 T)

Beschreibung

Hi,

Thank you so much for gitui. I cannot push from gitui, always getting the error -

[ERROR] push error: git error:failed to resolve address for github.com-foo: Name or service not known; class=Net (12)

But git push works fine from the cmdline. I have in my .ssh/config the alias -

Host github.com-foo HostName github.com

Is there a way around this ?

I am using version gitui v0.11.0 on Ubuntu 18.04

thx, -m

Contributor Guide

Research-Richtung
Untersuche, wie gitui SSH Hostnamen auflöst. Betrachte die SSH Konfigurationsanalyse im Code, wahrscheinlich in src/ssh.rs oder ähnlich. Vergleiche mit manuellem Git Verhalten. Prüfe, ob gitui die ssh2 Crate oder Ähnliches verwendet und ob ~/.ssh/config beachtet wird. Möglicherweise im Zusammenhang mit Umgebungsvariablen oder Subprozessausführung.
Tech Stack
rust
Domain
cli
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60