Мне нужно запустить устаревшую версию Docker в панели инструментов Docker.
Я установил требуемую версию докер-машины в соответствии с этим руководством (удалил предыдущий по умолчанию и установил новый) и настроил среду с помощью команды docker-machine env default.
когда я набираю docker -v Я ожидал увидеть версию установленного мной докера (1.13.1), но она все еще 18.03 ... даже после перезапуска приложения панели инструментов докера. Как это исправить?