ベストアンサー1
bash
ログインシェルであるシェルは~/.bash_profile
。
MarcelのCygwinシステムにあるファイルには、~/.bash_profile
次の行が含まれています。
[[ -z $SSH_AGENT_PID && -z $DISPLAY ]] && exec -l ssh-agent $SHELL -c "bash --login"
ssh-agent
現在のシェル環境でそのエージェントが実行されておらず、X11ディスプレイが利用できない場合、これは開始されます。 SSHエージェントは、bash
非対話型シェルとログインシェルの2つの新しいシェルを起動します(ログインシェルはすでに設定されているため、上記の行を$SSH_AGENT_PID
スキップします)。 SSHエージェントはで始まるシェルを置き換えますexec
。
bash
表示できる2つのプロセスは次のとおりです。
ssh-agent
(これは)で$SHELL -c
始まり、$SHELL -c
一つは、呼び出しで始まりますbash --login
。
私にとって、この行は次のように単純化できるようです。
[[ -z $SSH_AGENT_PID && -z $DISPLAY ]] && exec -l ssh-agent bash --login
ssh-agent
これにより、単に実行用の追加のシェルが削除されますbash --login
。