add some bash functions