replace "chrome-sandbox" included inside the AppImage with a symlink to /opt/google/chrome/chrome-sandbox

Signed-off-by: Günter Neiß <gneiss@web.de>

Author: gneiss15

.github/tools/appimagetool-x86_64_2019-05-01.AppImage

@@ -51,6 +51,26 @@ jobs:
         yarn --cwd electron-app package
         find / -iname "*.AppImage"
         cp /__w/arduino-ide/arduino-ide/electron-app/dist/*.AppImage .
+    - name: Mod AppImage to use chrome-sandbox of local os
+      run: |
+        set -x
+        set -v
+        EXE=$(readlink -f *.AppImage)
+        chmod a+x "${EXE}"
+        mkdir t
+        cd t
+        "${EXE}" --appimage-extract
+        cd squashfs-root/
+        rm chrome-sandbox
+        ln -s /opt/google/chrome/chrome-sandbox chrome-sandbox
+        cd ..
+        TOOL=".github/tools/appimagetool-x86_64_2019-05-01.AppImage"
+        ARCH=x86_64 ${TOOL} squashfs-root
+        rm -r squashfs-root/
+        rm "${EXE}"
+        mv *.AppImage ../
+        cd ..
+        rm -r t
     - name: Install gh and jq
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/LinuxBuild.yml

@@ -3,8 +3,12 @@
 ### Preface
 
 This repository is a fork of the official [Arduino IDE](https://github.com/arduino/arduino-ide).
-It seams that this project is currently inactive (2 Month no commit), because my PR [Order custom board option menus as defined in platform configuration](https://github.com/arduino/arduino-ide/pull/2717) ist still not merged.
-So this repo will generate only the AppImage whith my PR.
+It seams that this project is currently inactive (2 Month no commit).
+- My PR [Order custom board option menus as defined in platform configuration](https://github.com/arduino/arduino-ide/pull/2717) ist still not merged.
+- There is an additional BUG inside the original AppImage: It fails to run if not started with "--no-sandbxox" (on newer Linux systems).
+So this repo will generate only the AppImage that:
+- includes my PR
+- replaces the executable "chrome-sandbox" included inside the AppImage with a symlink to /opt/google/chrome/chrome-sandbox, that should be exist on most newer Linux systems.
 
 ### Download