From ffc9a997f6d40a687bc441845c1e1351bf74333e Mon Sep 17 00:00:00 2001 From: Salt Date: Sat, 6 Oct 2018 23:58:43 -0500 Subject: [PATCH] .profile: Change dotfile git alias God this is gonna take some getting used to --- .profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.profile b/.profile index 297a6aab..278d66f4 100755 --- a/.profile +++ b/.profile @@ -50,7 +50,7 @@ fi # Alias for the dotfile setup if [ -d "$HOME/.dotfiles" ]; then - alias config='git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME' + alias dot='git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME' fi # Aliases for common utilities