A maneira mais fácil de instalar o Terminal Gnome seria usar MacPorts. Assim que o MacPorts estiver instalado, execute sudo port install gnome-terminal . HomeBrew é uma alternativa mais recente para MacPorts que está crescendo em popularidade, mas o Terminal Gnome ainda não está disponível no repositório básico.