I spend a lot of time copying files from the repository to my machines and synching $HOME with the repo again. Ideally, I should just use a simple script for such job.