После некоторого тестирования кажется, что проблема в этом случае состояла в том, что мой компьютер должен был быть перезагружен для обновления PATHпеременной среды Windows . Я не пробовал этого, потому что предполагал, что это было целью source ~/.bashrc, которую я всегда использовал для подобных целей в прошлом.
Лично для меня не было особых проблем с перезагрузкой компьютера, но я бы предпочел иметь команду, которая мешает мне сделать это, и я вижу, что требуемый перезапуск очень проблематичен для пользователей сервера.
Если посмотреть глубже, кажется, что source ~/.bashrcэто возможно в системах на основе UNIX, но то же самое не относится к Cygwin, вероятно потому, что Cygwin использует PATHпеременную среды Windows, а не устанавливает их явно в .bashrc.
Я разместил дополнительный вопрос по этому вопросу здесь .