fscotto/infra
1
0
Fork 0
mirror of https://github.com/fscotto/infra.git synced 2026-05-30 15:39:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Move source tool clone path from ~/.local/src to /usr/src

Browse Source
This commit is contained in:
Fabio Scotto di Santolo
2026-04-18 19:17:51 +02:00
parent 92c9cc764d
commit 8732cb886f
2 changed files with 14 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ansible/roles/profile_desktop_common/tasks/main.yml
View File

@@ -386,7 +386,7 @@
mode: "0755"
- path: "{{ user_home }}/.local/share/keyrings"
mode: "0700"
- path: "{{ user_home }}/.local/src"
- path: /usr/src
mode: "0755"
- name: Ensure maildir directories exist

17
ansible/roles/profile_desktop_common/tasks/source_tool.yml
View File

@@ -4,11 +4,20 @@
path: "/usr/local/bin/{{ source_tool.install_name | default(source_tool.name) }}"
register: source_tool_installed_binary
- name: Configure git safe.directory for {{ source_tool.name }}
ansible.builtin.command:
cmd: "git config --global --add safe.directory /usr/src/{{ source_tool.name }}"
become_user: "{{ username }}"
environment:
HOME: "{{ user_home }}"
changed_when: true
- name: Clone {{ source_tool.name }} repository
ansible.builtin.git:
repo: "{{ source_tool.repo }}"
dest: "{{ user_home }}/.local/src/{{ source_tool.name }}"
dest: "/usr/src/{{ source_tool.name }}"
update: true
force: true
become_user: "{{ username }}"
environment:
HOME: "{{ user_home }}"
@@ -16,13 +25,13 @@
- name: Check built {{ source_tool.name }} binary
ansible.builtin.stat:
path: "{{ user_home }}/.local/src/{{ source_tool.name }}/{{ source_tool.build_output_path | default(source_tool.binary_name) }}"
path: "/usr/src/{{ source_tool.name }}/{{ source_tool.build_output_path | default(source_tool.binary_name) }}"
register: source_tool_built_binary
- name: Build {{ source_tool.name }}
ansible.builtin.command:
cmd: "{{ source_tool.build_cmd }}"
chdir: "{{ user_home }}/.local/src/{{ source_tool.name }}"
chdir: "/usr/src/{{ source_tool.name }}"
become_user: "{{ username }}"
environment:
HOME: "{{ user_home }}"
@@ -32,7 +41,7 @@
- name: Install {{ source_tool.name }}
ansible.builtin.copy:
src: "{{ user_home }}/.local/src/{{ source_tool.name }}/{{ source_tool.build_output_path | default(source_tool.binary_name) }}"
src: "/usr/src/{{ source_tool.name }}/{{ source_tool.build_output_path | default(source_tool.binary_name) }}"
dest: "/usr/local/bin/{{ source_tool.install_name | default(source_tool.name) }}"
remote_src: true
owner: root