Leia man terminator
. Você encontrará o:
-p, --profile=PROFILE
Use a different profile as the default
opção, juntamente com muitas outras opções.
Em geral, quando alguém tem uma pergunta sobre um comando, digamos terminator
para o exemplo a seguir, tenta-se:
man terminator
man -k terminator
info terminator
locate terminator
type -p terminator
type -a terminator
dpkg -S $( type -p terminator )
dpkg -L $( dpkg -S $( type -p terminator ) | cut -d: -f1 )
e então a investigação séria começa, ....