From 999beb8a4f5f780c925956b82c9105ac136a582b Mon Sep 17 00:00:00 2001 From: Dmitry Ilvokhin Date: Sat, 25 Jan 2025 12:23:52 +0000 Subject: 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. --- roles/dotfiles/tasks/main.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'roles/dotfiles') 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 -- cgit v1.2.3-70-g09d2