Como encontrar o perfil atualmente usado do gnome-terminal com a linha cmd?

Question

Estou usando o Ubuntu 16.04 e quero saber qual perfil é usado por um determinado emulador de terminal. Apenas o nome seria suficiente.

É fácil encontrar com a GUI: basta clicar com o botão direito do mouse na janela do terminal, e o perfil em uso será indicado em "Perfis". Você também pode ir em Editar - > Preferências de perfil - > Nome do perfil.

Eu gostaria de acessar essa informação com a linha de comando, mas não consigo encontrar como.

    

Answer 1

Encontrei o seguinte script no link :

#!/bin/bash

FNAME="$HOME/.current_gnome_profile"
gnome-terminal --save-config=$FNAME
ENTRY='grep ProfileID < $FNAME'
rm $FNAME
TERM_PROFILE=${ENTRY#*=}
echo -n "$TERM_PROFILE"