Alter host file, copied from https://github.com/Afrozaar/docker-wordpress/blob/master/add-docker.dev-to-hosts

Author: SimonIT

.github/workflows/build.yml

@@ -22,4 +22,20 @@ jobs:
       - name: Run docker image for integration tests
         run: docker run -d --name wp_build_test -p 80:80 afrozaar/wordpress:latest
 
+      - name: Alter hosts file
+        run: |
+          HOSTN=`hostname`
+          FIL=/etc/hosts
+
+          echo "hostname: '$HOSTN'"
+
+          if grep -q "$HOSTN" $FIL; then
+            if grep -q 'docker.dev' $FIL; then
+              echo "SKIPPING. 'docker.dev' already exists in $FIL"
+            else
+              echo "ADDING 'docker.dev' entry to $FIL"
+              sudo sed -i "s#$HOSTN#$HOSTN docker.dev #g" $FIL
+            fi
+          fi
+
       - run: mvn verify