Portable BASH functions to keep multiple development machines synchronized.