#!/bin/bash git init --bare $HOME/.dots git --git-dir=$HOME/.dots/ --work-tree=$HOME config --local status.showUntrackedFiles no git --git-dir=$HOME/.dots/ --work-tree=$HOME remote add origin git@vidhukant.com:dots git --git-dir=$HOME/.dots/ --work-tree=$HOME pull origin master