.gitconfig: add `git dir` alias

[dotfiles.git] / .gitconfig

diff --git a/.gitconfig b/.gitconfig
index 6e59db2c11e3af9e26506a73641d48a26d006260..0581c556b3b00165fe4ccc8f6f969e2a3c94f4c1 100644 (file)
--- a/.gitconfig
+++ b/.gitconfig
@@ -144,6 +144,7 @@
        checkin = commit
        ci = commit
        cat = cat-file -p
+       dir = rev-parse --git-dir
        dump = cat-file -p
        file = cat-file -t
        type = cat-file -t
@@ -206,3 +207,17 @@
 [gui]
        fontui = -family \"DejaVu Sans\" -size 18 -weight normal -slant roman -underline 0 -overstrike 0
        fontdiff = -family \"DejaVu Sans Mono\" -size 18 -weight normal -slant roman -underline 0 -overstrike 0
+
+# Github URL shortcuts
+[url "git@github.com:"]
+       insteadOf = "gh:"
+       pushInsteadOf = "github:"
+       pushInsteadOf = "git://github.com/"
+[url "git://github.com/"]
+       insteadOf = "github:"
+[url "git@gist.github.com:"]
+       insteadOf = "gst:"
+       pushInsteadOf = "gist:"
+       pushInsteadOf = "git://gist.github.com/"
+[url "git://gist.github.com/"]
+       insteadOf = "gist:"