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 | |
| parent | a242fb4cc9eed9dd4b85784de85effc327b77238 (diff) | |
| download | infra-5286c9039bb762ceef9c092c571cde7407d87c86.tar.gz infra-5286c9039bb762ceef9c092c571cde7407d87c86.tar.bz2 infra-5286c9039bb762ceef9c092c571cde7407d87c86.zip | |
Move gdb configuration to gdbinit role
| -rw-r--r-- | roles/dotfiles/tasks/main.yml | 10 | ||||
| -rw-r--r-- | roles/gdb/tasks/main.yml | 8 | ||||
| -rw-r--r-- | roles/gdbinit/defaults/main.yml | 3 | ||||
| -rw-r--r-- | roles/gdbinit/tasks/main.yml | 9 |
4 files changed, 20 insertions, 10 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 diff --git a/roles/gdb/tasks/main.yml b/roles/gdb/tasks/main.yml index 2cb5d08..51161b3 100644 --- a/roles/gdb/tasks/main.yml +++ b/roles/gdb/tasks/main.yml @@ -5,11 +5,7 @@ state: present - name: Configure gdb for Dmitry Ilvokhin - ansible.builtin.copy: - src: misc/dotfiles/gdbinit - dest: /home/d/.gdbinit - owner: d - group: d - mode: u+rw,g+r,o+r + ansible.builtin.include_role: + name: gdbinit tags: - dotfiles diff --git a/roles/gdbinit/defaults/main.yml b/roles/gdbinit/defaults/main.yml new file mode 100644 index 0000000..10ee8a3 --- /dev/null +++ b/roles/gdbinit/defaults/main.yml @@ -0,0 +1,3 @@ +gdbinit_user: d +gdbinit_group: d +gdbinit_homedir: /home/{{ gdbinit_user }} diff --git a/roles/gdbinit/tasks/main.yml b/roles/gdbinit/tasks/main.yml new file mode 100644 index 0000000..32e22f5 --- /dev/null +++ b/roles/gdbinit/tasks/main.yml @@ -0,0 +1,9 @@ +- name: Copy gdbinit to home directory + ansible.builtin.copy: + src: misc/dotfiles/gdbinit + dest: '{{ gdbinit_homedir }}/.gdbinit' + owner: '{{ gdbinit_user }}' + group: '{{ gdbinit_group }}' + mode: u+rw,g+r,o+r + tags: + - dotfiles |