# source "$XDG_CONFIG_HOME/shell/profile" # TODO: where to put this?