¿Cómo encontrar el perfil actualmente utilizado de gnome-terminal con la línea de cmd?

Estoy usando Ubuntu 16.04 y quiero poder decir qué perfil usa un emulador de terminal determinado. Solo el nombre sería suficiente.

Es trivial encontrarlo con la GUI: simplemente haga clic con el button derecho en la window del terminal y el perfil en uso se indicará en "Perfiles". También puede ir a Editar -> Preferences de Perfil -> Nombre del Perfil.

Me gustaría acceder a esa información con la línea de command, pero no puedo encontrar cómo.

Encontré el siguiente script en https://github.com/helino/current-gnome-terminal-profile/blob/master/current-gnome-terminal-profile.sh :

#!/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"