diff options
| author | Dmitry Ilvokhin <d@ilvokhin.com> | 2025-08-09 10:20:16 +0100 |
|---|---|---|
| committer | Dmitry Ilvokhin <d@ilvokhin.com> | 2025-08-09 10:20:16 +0100 |
| commit | 5286c9039bb762ceef9c092c571cde7407d87c86 (patch) | |
| tree | 34ff5472c81a0169355091a4d4b7828393d0272f /roles/dotfiles | |
| parent | a242fb4cc9eed9dd4b85784de85effc327b77238 (diff) | |
| download | infra-5286c9039bb762ceef9c092c571cde7407d87c86.tar.gz infra-5286c9039bb762ceef9c092c571cde7407d87c86.tar.bz2 infra-5286c9039bb762ceef9c092c571cde7407d87c86.zip | |
Move gdb configuration to gdbinit role
Diffstat (limited to 'roles/dotfiles')
| -rw-r--r-- | roles/dotfiles/tasks/main.yml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/roles/dotfiles/tasks/main.yml b/roles/dotfiles/tasks/main.yml index 30a06ed..8dbb20f 100644 --- a/roles/dotfiles/tasks/main.yml +++ b/roles/dotfiles/tasks/main.yml @@ -100,10 +100,12 @@ failed_when: false register: has_gdb - - name: Copy gdbinit to home directory - ansible.builtin.copy: - src: misc/dotfiles/gdbinit - dest: '{{ homedir }}/.gdbinit' + - ansible.builtin.include_role: + name: gdbinit + vars: + gdbinit_user: '{{ user }}' + gdbinit_group: '{{ group }}' + gdbinit_homedir: '{{ homedir }}' when: has_gdb.rc == 0 - name: Configure mutt if installed |