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 | |
| 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.
| -rw-r--r-- | misc/dotfiles/gitconfig | 2 | ||||
| -rw-r--r-- | misc/dotfiles/gitignore | 1 | ||||
| -rw-r--r-- | roles/dotfiles/tasks/main.yml | 9 | ||||
| -rw-r--r-- | roles/git/tasks/main.yml | 7 |
4 files changed, 14 insertions, 5 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 diff --git a/roles/dotfiles/tasks/main.yml b/roles/dotfiles/tasks/main.yml index 36445e2..923b70e 100644 --- a/roles/dotfiles/tasks/main.yml +++ b/roles/dotfiles/tasks/main.yml @@ -99,10 +99,13 @@ failed_when: false register: has_git - - name: Copy gitconfig to home directory + - name: Copy git config files to home directory ansible.builtin.copy: - src: misc/dotfiles/gitconfig - dest: ~{{ user }}/.gitconfig + src: misc/dotfiles/{{ item }} + dest: ~{{ user }}/.{{ item }} + loop: + - gitconfig + - gitignore when: has_git.rc == 0 - name: Configure gdb if installed diff --git a/roles/git/tasks/main.yml b/roles/git/tasks/main.yml index 362f341..1a465a7 100644 --- a/roles/git/tasks/main.yml +++ b/roles/git/tasks/main.yml @@ -6,10 +6,13 @@ - name: Configure git for Dmitry Ilvokhin ansible.builtin.copy: - src: misc/dotfiles/gitconfig - dest: /home/d/.gitconfig + src: misc/dotfiles/{{ item }} + dest: /home/d/.{{ item }} owner: d group: d mode: u+rw,g+r,o+r + loop: + - gitignore + - gitconfig tags: - dotfiles |