Permit to define forgejo_dump_path with ansible-playbook -e ...

playbook_lime2.yml

@@ -1,4 +1,5 @@
 ---
+# Usage: ansible-playbook playbook_lime2.yml [ansible-opts] [-e forgejo_dump_path=/path/to/forgejo/dump]
 
 - name: Install services for lime2 home server
   gather_facts: true

roles/forgejo/tasks/repos.yml

@@ -1,19 +1,30 @@
 ---
 - name: Ask to push latest forgejo_dump zipfile
+  when: forgejo_dump_path is not defined
   ansible.builtin.pause:
     prompt: "Local path to forgejo dump, so we can push it [leave empty to not push]"
     echo: true
-  register: user_forgejo_dump_path
+  register: forgejo_dump_path
 
-- name: Push latest forgejo dump zipfile
+- name: Push latest forgejo dump zipfile (no user input)
   become: true
   ansible.builtin.copy:
-    src: "{{ user_forgejo_dump_path.user_input }}"
+    src: "{{ forgejo_dump_path }}"
-    dest: "{{ forgejo_run_dir }}/forgejo-dumps/{{ user_forgejo_dump_path.user_input | basename }}"
+    dest: "{{ forgejo_run_dir }}/forgejo-dumps/{{ forgejo_dump_path | basename }}"
     owner: git
     group: git
     mode: 0640
-  when: user_forgejo_dump_path.user_input != ''
+  when: forgejo_dump_path.user_input is not defined
+
+- name: Push latest forgejo dump zipfile (user input)
+  become: true
+  ansible.builtin.copy:
+    src: "{{ forgejo_dump_path.user_input }}"
+    dest: "{{ forgejo_run_dir }}/forgejo-dumps/{{ forgejo_dump_path.user_input | basename }}"
+    owner: git
+    group: git
+    mode: 0640
+  when: forgejo_dump_path.user_input is defined and forgejo_dump_path.user_input != ''
 
 - name: Find all forgejo dumps on the server
   become: true