I take that back, commenting out the line in /usr/share/applications/org.gnome.Terminal.desktop worked for me. Not sure why there is /usr/share/applications/org.gnome.Terminal.desktop and /usr/share/applications/gnome-terminal.desktop.
I take that back, commenting out the line in /usr/share/ applications/ org.gnome. Terminal. desktop worked for me. Not sure why there is /usr/share/ applications/ org.gnome. Terminal. desktop and /usr/share/ applications/ gnome-terminal. desktop.