🚚 Change git data dir from gitea to forgejo
This change includes a manual directory rename on the server
This commit is contained in:
parent
06483df3ac
commit
7e515c40e2
1 changed files with 7 additions and 7 deletions
|
@ -37,14 +37,14 @@
|
||||||
|
|
||||||
tasks:
|
tasks:
|
||||||
|
|
||||||
- name: Check if gitea data dir exists
|
- name: Check if forgejo data dir exists
|
||||||
ansible.builtin.stat:
|
ansible.builtin.stat:
|
||||||
path: "{{ data_dir }}/gitea"
|
path: "{{ data_dir }}/forgejo"
|
||||||
register: gitea_dir
|
register: forgejo_dir
|
||||||
- name: Fail if gitea data dir does not exist
|
- name: Fail if forgejo data dir does not exist
|
||||||
ansible.builtin.fail:
|
ansible.builtin.fail:
|
||||||
msg: "Gitea data dir is missing, please restore from the backup!"
|
msg: "Forgejo data dir is missing, please restore from the backup!"
|
||||||
when: not gitea_dir.stat.exists
|
when: not forgejo_dir.stat.exists
|
||||||
|
|
||||||
# If port 2222 is changed here, it must also be adapted
|
# If port 2222 is changed here, it must also be adapted
|
||||||
# in the gitea config file (see application volume)!!
|
# in the gitea config file (see application volume)!!
|
||||||
|
@ -71,7 +71,7 @@
|
||||||
USER_UID: "1000"
|
USER_UID: "1000"
|
||||||
USER_GID: "1000"
|
USER_GID: "1000"
|
||||||
volumes:
|
volumes:
|
||||||
- "{{ data_dir }}/gitea:/data:rw"
|
- "{{ data_dir }}/forgejo:/data:rw"
|
||||||
|
|
||||||
- name: Setup proxy site gitea.n39.eu
|
- name: Setup proxy site gitea.n39.eu
|
||||||
include_role:
|
include_role:
|
||||||
|
|
Loading…
Reference in a new issue