dotdotdot

Repository for Linux system configuration. Based on this technique.

Setup on new machine

Ensure SSH configuration for GitHub is setup before!

mkdir ~/.dotdotdot
git clone --bare git@github.com:davidbeermann/dotdotdot.git ~/.dotdotdot
alias ddd='/usr/bin/git --git-dir=$HOME/.dotdotdot/ --work-tree=$HOME'
ddd checkout
ddd config --local --add user.name "<YOUR NAME>"
ddd config --local --add user.email "<YOUR EMAIL USED IN COMMITS>"

Current OS

Running Pop!_OS (Ubuntu 20.04)