my_utils

Archivos, scripts o configuraciones utiles.

gnome-terminal

Para reiniciar el perfil de la terminal:

dconf reset -f /org/gnome/terminal/legacy/profiles:/

Para reiniciar el perfil que viene por default, el que tiene UUID b1dcc9dd-5262-4d8d-a863-c897e6d979b9 by default

dconf reset -f /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/

Sacado de https://askubuntu.com/a/823564

grub-playtune

Script para probar tonos que puede usar grub cuando arranca el equipo.