c6cf796f15f596d2f2c6599828398de6fa4e7c60
With stacking in my WM like cosmic, it is almost all I need. Goodbye gnome-terminal.
Personnal configuration
Installation
You can install this configuration on a new system using
curl -sSL https://git.tuleu.science/atuleu/home/raw/branch/master/update.sh | bash && $HOME/.home/update.sh
Keeping it synced
You can then update the configuration with:
$HOME/.home/update.sh
On a GNOME environment you may want to:
$HOME/.home/update.sh --gnome
This will install necessary fonts and makes GNOME terminal actually looks good.
Description
Languages
Shell
100%