thonny: add desktop item

This commit is contained in:
Ingo Blechschmidt 2021-11-05 20:20:16 +01:00
parent 505caf29fe
commit 19de3a7c5b

View file

@ -1,4 +1,4 @@
{ lib, fetchFromGitHub, python3 }:
{ lib, fetchFromGitHub, python3, makeDesktopItem, copyDesktopItems }:
with python3.pkgs;
@ -13,6 +13,17 @@ buildPythonApplication rec {
sha256 = "13l8blq7y6p7a235x2lfiqml1bd4ba2brm3vfvs8wasjh3fvm9g5";
};
nativeBuildInputs = [ copyDesktopItems ];
desktopItems = [ (makeDesktopItem {
name = "Thonny";
exec = "thonny";
icon = "thonny";
desktopName = "Thonny";
comment = "Python IDE for beginners";
categories = "Development;IDE";
}) ];
propagatedBuildInputs = with python3.pkgs; [
jedi
pyserial
@ -34,6 +45,10 @@ buildPythonApplication rec {
--prefix PYTHONPATH : $PYTHONPATH:$(toPythonPath ${python3.pkgs.jedi})
'';
postInstall = ''
install -Dm644 ./packaging/icons/thonny-48x48.png $out/share/icons/hicolor/48x48/apps/thonny.png
'';
# Tests need a DISPLAY
doCheck = false;