更改Docker快速入门terminal的terminal应用程序

我刚刚在OSX上安装了Docker Toolbox,第一次启动Docker Quickstart Terminal时,它促使我select打开哪个terminal。我愚蠢地select了iTerm。 现在,终于意识到我平常的terminal是terminal,我想改变这个设置。 但我没有做似乎重置它。

我试过再次运行Docker Toolbox的安装程序。 我也尝试从https://github.com/docker/toolbox/blob/master/osx/uninstall.sh运行卸载脚本,然后重新安装。 但每次我点击Docker快速入门terminal,它都会在iTerm中启动。

任何人都可以告诉我如何改变这种偏好?

一些挖掘后,默认的terminal设置似乎位于

~/Library/Application Support/DockerToolbox/default_terminal 

…可以设置为iTermTerminal

设置它的最简单的方法是删除文件,并启动docker快速启动terminal,这将允许它再次提示默认。