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/gdbinit | |
| 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/gdbinit')
| -rw-r--r-- | roles/gdbinit/defaults/main.yml | 3 | ||||
| -rw-r--r-- | roles/gdbinit/tasks/main.yml | 9 |
2 files changed, 12 insertions, 0 deletions
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 |