small improvements

Author: gtheler

.github/workflows/playwright.yml

@@ -28,27 +28,17 @@ jobs:
     - name: Install System Dependencies
       run: |
         sudo apt-get update
-        sudo apt-get install -y unzip patchelf wget php-cli php-yaml gnuplot libxrender1 libxcursor1 libxft2 libxinerama1
-        sudo apt-get install -y libgl1-mesa-glx || sudo apt-get install -y libgl1-mesa-dri || sudo apt-get install -y libgl1
+        sudo apt-get install -y unzip patchelf wget php-cli php-yaml gnuplot
 
     - name: Install SunCAE Dependencies (FeenoX & Gmsh)
       run: ./deps.sh
 
     - name: Install Node Dependencies
       run: npm ci
 
-#     - name: Check what's on port 8000
-#       run: ss -ltnp | grep ':8000' || true
-#     
-#     - name: Free port 8000 (if occupied)
-#       run: npx kill-port 8000 || true
-      
     - name: Install Playwright Browsers
       run: npx playwright install --with-deps
 
-    # - name: Start PHP Server
-    #   run: php -S localhost:8000 -t html > php-server.log 2>&1 &
-
     - name: Run Playwright tests
       run: npx playwright test
 

meshers/gmsh/deps.sh

@@ -42,6 +42,7 @@ if [ $use_system_binary = 0 ]; then
       wget -c http://gmsh.info/bin/Linux/${gmsh_tarball}.tgz
     fi
     tar xzf ${gmsh_tarball}.tgz
+    rm -f ../bin/gmsh.py
     cp ${gmsh_tarball}/bin/gmsh ../bin
     cp ${gmsh_tarball}/lib/gmsh.py ../bin
     cp -d ${gmsh_tarball}/lib/libgmsh.so* ../bin

uxs/faster-than-quick/deps.sh

@@ -105,6 +105,7 @@ if [ $use_system_binary = 0 ]; then
     if [ ! -d pandoc-${pandoc_version} ]; then
       tar xvzf ${pandoc_tarball}.tar.gz
     fi
+    rm -f ../bin/pandoc
     cp pandoc-${pandoc_version}/bin/pandoc        ../bin
     echo "done"
     cd ..