Zmiana aplikacji terminala dla Docker Quickstart Terminal

Question

Właśnie zainstalowałem Docker Toolbox na OSX, i po raz pierwszy uruchomiłem Docker Quickstart Terminal, to zachęciło mnie to do wybrania, z którego terminalu mam otworzyć. Głupio wybrałem iTerm. Teraz, po zrealizowaniu mojego zwykłego terminalu w tych dniach, jest Terminal, chcę zmienić to ustawienie. Ale nic, co robię, nie wydaje się resetować.

Próbowałem ponownie uruchomić instalator programu Docker Toolbox. Próbowałem również uruchomić skrypt odinstalowujący z https://github.com/docker/toolbox/blob/master/osx/uninstall.sh, a następnie ponownie zainstalować. Ale za każdym razem, gdy klikam Docker Quickstart Terminal, uruchamia się on w iTerm.

Czy ktoś może mi powiedzieć, w jaki sposób mogę zmienić tę preferencję?

Answer 1

Po pewnym kopania, domyślne ustawienie terminala wydaje się być zlokalizowane w

~/Library/Application Support/DockerToolbox/default_terminal 

... a może też być ustawiona na iTerm lub Terminal.

Najprostszym sposobem ustawienia tego jest usunięcie pliku i uruchomienie terminalu szybkiego uruchamiania docker, który pozwoli mu ponownie wyświetlić monit o ustawienie domyślne.