Merge branch 'master' of git.psi.ch:Pmodules/Pmodules_tools
This commit is contained in:
commit
96072c756c
@ -16,6 +16,9 @@ check:
|
|||||||
- module load Python
|
- module load Python
|
||||||
- export COLUMNS=$COLUMNS
|
- export COLUMNS=$COLUMNS
|
||||||
- export TERM=$TERM
|
- export TERM=$TERM
|
||||||
|
- python3 -m venv pm_tools_venv
|
||||||
|
- source pm_tools_venv/bin/activate
|
||||||
|
- pip install -r requirements.txt
|
||||||
- python3 pmodules_tools/pmodules_tools.py --deps-check
|
- python3 pmodules_tools/pmodules_tools.py --deps-check
|
||||||
|
|
||||||
pages:
|
pages:
|
||||||
|
@ -96,6 +96,8 @@ def db_check_diff(current_pmodule_state, Pmodules_db_path, Pmodules_states):
|
|||||||
print_pmodules_differences(
|
print_pmodules_differences(
|
||||||
current_pmodule_state, old_pmodule_state, Pmodules_states, Pmodules_db_path
|
current_pmodule_state, old_pmodule_state, Pmodules_states, Pmodules_db_path
|
||||||
)
|
)
|
||||||
|
else:
|
||||||
|
print_to_asciidoc([], [], [], Pmodules_db_path)
|
||||||
|
|
||||||
# There is no database available or there are differences with the old pmodule state, writing current state.
|
# There is no database available or there are differences with the old pmodule state, writing current state.
|
||||||
if no_current_db or compare_states_sha(
|
if no_current_db or compare_states_sha(
|
||||||
|
Loading…
x
Reference in New Issue
Block a user