From: Daan De Meyer Date: Fri, 15 Mar 2024 19:25:01 +0000 (+0100) Subject: mkosi: Do disk space cleanup asynchronously X-Git-Tag: v256-rc1~500 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e48c170f51aea721ba2f2aa0115d8a6157f037cc;p=thirdparty%2Fsystemd.git mkosi: Do disk space cleanup asynchronously This can actually take a rather long time (multiple minutes) so make sure we do it asynchronously. --- diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml index a71ae3fd39b..f9df0a22bad 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -78,10 +78,14 @@ jobs: - uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 - uses: systemd/mkosi@1445b389750af22756c0fde6facc1f2f343340b4 + # Freeing up disk space with rm -rf can take multiple minutes. Since we don't need the extra free space + # immediately, we remove the files in the background. However, we first move them to a different location + # so that nothing tries to use anything in these directories anymore while we're busy deleting them. - name: Free disk space run: | - sudo rm -rf /usr/local - sudo rm -rf /opt/hostedtoolcache + sudo mv /usr/local /usr/local.trash + sudo mv /opt/hostedtoolcache /opt/hostedtoolcache.trash + sudo systemd-run rm -rf /usr/local.trash /opt/hostedtoolcache.trash - name: Configure run: |