some useful shell scripts