A few additions to bash