arduino-ide: Fix .desktop file

2024-05-11 11:31:18 +08:00
parent 8c810f6f55
commit 5c8f30b56e
1 changed files with 1 additions and 0 deletions
@@ -20,6 +20,7 @@ appimageTools.wrapType2 {
  extraInstallCommands = ''
    install -Dm444 ${appimageContents}/${pname}.desktop -t $out/share/applications/
    install -Dm444 ${appimageContents}/${pname}.png -t $out/share/pixmaps/
+    substituteInPlace $out/share/applications/${pname}.desktop --replace-fail 'Exec=AppRun --no-sandbox %U' 'Exec=${pname} %U'
  '';

  extraPkgs = pkgs: with pkgs; [ libsecret ];