# This file is sourced by a login shell upon logout