Use sed to edit .gitignore

tensor4all · Nov 29, 2024 · 98acd94 · 98acd94
1 parent 7076a6a
commit 98acd94
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/ExportPluto.yaml b/.github/workflows/ExportPluto.yaml
@@ -46,7 +46,7 @@ jobs:
 
             - name: Edit .gitignore to allow to track html files
               run: |
-                rm .gitignore
+                sed -i '/\.html$/s/^/# /' .gitignore
             - name: Instantiate
               run: |
                 julia --project -e 'using Pkg; Pkg.instantiate()'
@@ -74,6 +74,5 @@ jobs:
               with:
                   token: ${{ secrets.GITHUB_TOKEN }}
                   branch: gh-pages
-                  folder: ./pluto_notebooks
+                  folder: ./
                   single-commit: true
-                  clean: true