diff options
| author | Dmitry Ilvokhin <d@ilvokhin.com> | 2025-01-25 12:23:52 +0000 |
|---|---|---|
| committer | Dmitry Ilvokhin <d@ilvokhin.com> | 2025-01-25 12:23:52 +0000 |
| commit | 999beb8a4f5f780c925956b82c9105ac136a582b (patch) | |
| tree | 607fabc9ae207476517df35e26f46a5288ac446b /misc/dotfiles | |
| parent | 8a8ee29e4fb91ec9e100b6f1636cab8ea649ef94 (diff) | |
| download | infra-999beb8a4f5f780c925956b82c9105ac136a582b.tar.gz infra-999beb8a4f5f780c925956b82c9105ac136a582b.tar.bz2 infra-999beb8a4f5f780c925956b82c9105ac136a582b.zip | |
Add personal global gitignore file
Usually I have tags file from ctags in root of the repo to simplify code
navigation. Some repos have tags file in gitignore, but some doesn't.
Create personal gitignore files to hide tags file everywhere. This is
not a per repositiry setting, but personal one, so it's fine to
configure it globally.
Diffstat (limited to 'misc/dotfiles')
| -rw-r--r-- | misc/dotfiles/gitconfig | 2 | ||||
| -rw-r--r-- | misc/dotfiles/gitignore | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/misc/dotfiles/gitconfig b/misc/dotfiles/gitconfig index 4ac77b1..e7f8226 100644 --- a/misc/dotfiles/gitconfig +++ b/misc/dotfiles/gitconfig @@ -1,3 +1,5 @@ [user] name = Dmitry Ilvokhin email = d@ilvokhin.com +[core] + excludesFile = ~/.gitignore diff --git a/misc/dotfiles/gitignore b/misc/dotfiles/gitignore new file mode 100644 index 0000000..61ffc7c --- /dev/null +++ b/misc/dotfiles/gitignore @@ -0,0 +1 @@ +/tags |