Merge pull request #310643 from caeklol/fix-arduinoide

arduino-ide: Fix .desktop file
This commit is contained in:
Marcus Ramberg 2024-05-11 09:37:55 +02:00 committed by GitHub
commit e4e7a43a9d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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 ];