Если вы используете более новый терминал gnome, использующий dconf, это немного сложнее, но все же выполнимо:
Профили хранятся с UUID, вам нужно найти UUID профиля для удаления:
dconf dump /org/gnome/terminal/ | less
Поиск записи visible-name='...'
, соответствующей профилю, который вы хотите удалить. Посмотрите выше, что для заголовка раздела, как [legacy/profiles:/:...]
. Таким образом, полное имя элемента, который вы хотите удалить, /org/gnome/terminal/legacy/profiles:/:...
. Удалите это так:
dconf reset -f /org/gnome/terminal/legacy/profiles:/:...
Примечание: вероятно, эти вопросы и ответы следует перенести на unix.stackexchange.com.