Gnome terminal 3.8.3 - delete profile

view story

http://www.linuxquestions.org – Hi, I am running F19 beta with the cinnamon desktop. I run a few PCs which I access headlessly and I like to create terminal profile shortcuts to these and drop them into my panel for easy launch. I am having difficulty creating access to a new PC but that is my problem to solve. I set up a terminal profile but I can't change it until I access it and I obviously entered something wrong because I can't access the terminal. What I can't work out is how do I modify or delete a profile? To create, from the Gnome terminal File->New Profile and add specific details. I can then use File->Open (HowTos)