gitui-org/gitui

Cannot push with an ssh alias - failed to resolve address

オープン

#496 opened on 2021/01/20

GitHub で見るコントリビューターガイド
 (23 件のコメント) (5 件のリアクション) (0 人の担当者)Rust (721 件のフォーク)batch import
help wanted

Repository metrics

Stars
 (21,937 個のスター)
PR merge metrics
 (平均マージ 41d 9h) (30d で 6 merged PRs)

説明

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

コントリビューターガイド

調査方針
gitui が SSH ホスト名をどのように解決するかを調査する。コードベース内の SSH 設定解析を確認する。src/ssh.rs または類似のファイルを参照。手動の git 動作と比較する。gitui が ssh2 crate または類似のライブラリを使用しているか、~/.ssh/config を尊重しているかを確認する。環境変数またはサブプロセス実行に関連している可能性がある。
技術スタック
rust
領域
cli
Issue 種別
バグ
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
2
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
Git
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
60