PhpStorm — изменение сервера развертывания для проекта

PhpStorm — изменение сервера развертывания для проекта

Как изменить сервер развертывания для определенного проекта? У меня два удаленных сервера.

Я попробовал установить удаленный сервер по умолчанию на другой сервер, но старый сервер все еще используется. Я также заметил, что когда я пытаюсь вручную синхронизировать файл, то предлагается только старый сервер.

Я использую версию 2020.3

решение1

Я разобрался. Проблема была в том, что "Mapping" не был настроен. После настройки mapping все работает как надо.

Связанный контент