macOS-based runners: use gnu sed instead of bsd sed

Author: maxkratz

.github/workflows/ci.yml

@@ -263,7 +263,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS user)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -301,7 +302,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -339,7 +341,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev HiPE)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -377,7 +380,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS user)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -415,7 +419,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -453,7 +458,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev HiPE)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image