drwahl/bash-profile — pull request #8 by weaselkeeper (2013-10-21 16:49:41+00:00)
Title: Minor tweaks, cleanup

For freshen_repos, report if not a dir, and do it gracefully