dotfiles

🏡 Furnishings of my $HOME.

Requirements

• git must be installed.
• To push changes an SSH key must be added to GitHub.

Setup

In $HOME execute the following command:

1. Clone the repo

   git clone [email protected]:david-haerer/dotfiles.git
   # or
   git clone https://github.com/david-haerer/dotfiles.git

2. Copy the .git folder

   cp $HOME/dotfiles/.git $HOME/.dotfiles.git

3. Set the dot alias.

   alias dot="git --git-dir=$HOME/.dotfiles.git --work-tree=$HOME"

4. Restore the unstaged changes.

   dot restore $HOME

5. Pull the latest changes.

   dot pull

Usage

The dot alias works like the normal git command.

Git

Include the .config/git/.gitconfig in you $HOME/.gitconfig with

Further reading

• GitHub does dotfiles - dotfiles.github.io
• The best way to store your dotfiles: A bare Git repository
• Ask HN: What do you use to manage dotfiles?