.bashrc: simplify docker 'denter'