# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1542131759 28800
# Node ID 1172b8484c687b1f968ba84a19e99b857a74d856
# Parent  54bdd1f0f87356421e0f5e8d4491b31276796f40
Add global `gitignore` file.

diff -r 54bdd1f0f873 -r 1172b8484c68 install.py
--- a/install.py	Tue Nov 13 09:55:24 2018 -0800
+++ b/install.py	Tue Nov 13 09:55:59 2018 -0800
@@ -219,7 +219,9 @@
 def install_git():
     writelines('~/.gitconfig', [
         '[include]',
-        'path = %s' % _p('git/gitconfig', force_unix=True)
+        '  path = %s' % _p('git/gitconfig', force_unix=True),
+        '[core]',
+        '  excludesfile = %s' % _p('git/gitignore', force_unix=True)
     ])
     if is_windows:
         subprocess.check_call(