functions for .bashrc