Personalizando el terminal

Hay diversas maneras de darle un estilizado a vuestra shell. En mi caso he escogido hacerlo con powerline-shell para que luzca así com en la imagen.

Instalación

En primer lugar instalamos la librería con pip:

$ pip install powerline-shell o la descargamos directamente desde: https://pypi.org/project/powerline-shell/ Opcionalmente descargamos también las fuentes que nos proveeran los iconos del path: $ dnf install powerline-fonts

Configuración

Edita el archivo .bashrc en tu home) agregando lo siguiente:

function _update_ps1() {
    PS1=$(powerline-shell $?)
}

if [[ $TERM != linux && ! $PROMPT_COMMAND =~ _update_ps1 ]]; then
    PROMPT_COMMAND="_update_ps1; $PROMPT_COMMAND"
fi

Puedes probar cerrando y abriendo la terminal. Si no ves cambios, debes editar el archivo config.json que debiese haberse creado en la ruta ~/.config/powerline-shell/ y editarlo a tu gusto según los siguientes parámetros y de acuerdo a tu shell:

En este caso yo los he configurado de la siguiente manera:

$ cat ~/.config/powerline-shell/config.json
{
"segments": [
"virtual_env",
"aws_profile",
"ssh",
"cwd",
"git",
"git_stash",
"jobs",
"set_term_title",
"svn",
"newline",
"root"
],
"mode": "flat",
"cwd": {
"mode": "compatible",
"max_depth": 4
},
"theme": "default",
"vcs": {
"show_symbol": true
}
}

Aunque no es extrictamente necesario, cierra y vuelve a abrir la terminal para ver los cambios.

Si deseas cambiar el tema, puedes descargar alguno de estos o crear el tuyo propio:

Related Posts

Leave a Reply

Your email address will not be published. Required fields are marked *