bashrc: simplify run()