[CI/CD] Always copy new apt repo root.

This commit is contained in:
Fabio Manganiello 2023-12-26 05:53:54 +01:00
parent 581fe6101f
commit 6673bb4c19
Signed by untrusted user: blacklight
GPG key ID: D90FBA7F76362774

View file

@ -721,12 +721,9 @@ steps:
- echo "-- Updating the apt repo root" - echo "-- Updating the apt repo root"
- export OLD_APT_ROOT="$REPOS_ROOT/oldapt" - export OLD_APT_ROOT="$REPOS_ROOT/oldapt"
- | - rm -rf "$OLD_APT_ROOT"
if [ ! -d "$OLD_APT_ROOT" ]; then - mv "$APT_ROOT" "$OLD_APT_ROOT"
mv "$APT_ROOT" "$OLD_APT_ROOT" - mv "$TMP_APT_ROOT" "$APT_ROOT"
mv "$TMP_APT_ROOT" "$APT_ROOT"
rm -rf "$OLD_APT_ROOT"
fi
- chmod -R a+r "$APT_ROOT" - chmod -R a+r "$APT_ROOT"
- chmod a+x "$APT_ROOT" - chmod a+x "$APT_ROOT"