
## ----------------------------------------------------------------------

. ~/.local/bin/bashrc_extension.sh
