#24: Avoid fail when no files to delete

maxpowis · Aug 9, 2023 · b26c0a0 · b26c0a0
1 parent 714a4ce
commit b26c0a0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -34,14 +34,14 @@ jobs:
       - name: Copy pdf files to github-pages
         run: |
           mkdir -p ./github-pages/assets/cv
-          rm ./github-pages/assets/cv/*
+          rm -f ./github-pages/assets/cv/*
           for file in cv/*.pdf; do
             echo "Copying $file"
             cp -R "$file" ./github-pages/assets/cv/
           done
       - name: Update redirects for regular pdf
         run: |
-          rm ./github-pages/_redirects/cv.html
+          rm -f ./github-pages/_redirects/cv.html
           file=$(find ./cv -type f ! -name "DARK" -print -quit)
           cat << EOF > ./github-pages/_redirects/cv.html
           ---
@@ -52,7 +52,7 @@ jobs:
           EOF
       - name: Update redirects for dark pdf
         run: |
-          rm ./github-pages/_redirects/cv_dark.html
+          rm -f ./github-pages/_redirects/cv_dark.html
           file=$(find ./cv -type f -name "DARK" -print -quit)
           cat << EOF > ./github-pages/_redirects/cv_dark.html
           ---