PhpStorm - プロジェクトのデプロイメントサーバーを変更する

Question

特定のプロジェクトのデプロイメント サーバーを変更するにはどうすればよいですか? リモート サーバーが 2 つあります。

デフォルトのリモート サーバーを別のサーバーに設定して試してみましたが、古いサーバーがまだ使用されています。また、ファイルを手動で同期しようとすると、古いサーバーのみが提案されることに気付きました。

私はバージョン2020.3を使用しています

Answer 1

解決しました。問題は、「マッピング」が設定されていなかったことです。マッピングを設定すると、期待どおりに動作します。