# HG changeset patch # User Ludovic Chabant # Date 1426889720 25200 # Node ID 6938fb0146f5120398abce6912a57b29c5dc6fb0 # Parent aac9b5b1f921679dd866c9ae251150583bcc00a1 Add stuff to `gitconfig`, use better installation for it. diff -r aac9b5b1f921 -r 6938fb0146f5 git/gitconfig --- a/git/gitconfig Thu Mar 19 17:06:31 2015 -0700 +++ b/git/gitconfig Fri Mar 20 15:15:20 2015 -0700 @@ -5,3 +5,8 @@ [push] default = simple +[alias] +lg1 = log --graph --abbrev-commit --decorate --date=relative --format=format:'%C(bold blue)%h%C(reset) - %C(bold green)(%ar)%C(reset) %C(white)%s%C(reset) %C(dim white)- %an%C(reset)%C(bold yellow)%d%C(reset)' --all +lg2 = log --graph --abbrev-commit --decorate --format=format:'%C(bold blue)%h%C(reset) - %C(bold cyan)%aD%C(reset) %C(bold green)(%ar)%C(reset)%C(bold yellow)%d%C(reset)%n'' %C(white)%s%C(reset) %C(dim white)- %an%C(reset)' --all +lg = !"git lg1" + diff -r aac9b5b1f921 -r 6938fb0146f5 install.cmd --- a/install.cmd Thu Mar 19 17:06:31 2015 -0700 +++ b/install.cmd Fri Mar 20 15:15:20 2015 -0700 @@ -39,7 +39,8 @@ set /P confirm=Will delete existing "%userprofile%\.gitconfig". OK with that? Press CTRL-C to abort. del /Q "%userprofile%\.gitconfig" ) -copy "%CWD%git\gitconfig" "%userprofile%\.gitconfig" +echo [include] > "%userprofile%\.gitconfig" +echo path = %CWD:\=/%git/gitconfig >> "%userprofile%\.gitconfig" :: Web Browser if exist "%userprofile%\_pentadactylrc" ( diff -r aac9b5b1f921 -r 6938fb0146f5 install.sh --- a/install.sh Thu Mar 19 17:06:31 2015 -0700 +++ b/install.sh Fri Mar 20 15:15:20 2015 -0700 @@ -34,7 +34,7 @@ # GIT # --- -cp "$CWD/git/gitconfig" "$HOME/.gitconfig" +ln -s "$CWD/git/gitconfig" "$HOME/.gitconfig" # WEB BROWSER # -----------