# -*- mode: sh -*- source "$HOME/.bashrc"