VSCodeのRemote SSHの設定にはログインシェルを上書きするものがある．