3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #27285 from emmanuelrosa/pgadmin-desktop-file

pgadmin: make desktop item
This commit is contained in:
Jörg Thalheim 2017-07-12 23:19:33 +01:00 committed by GitHub
commit eb28340bac

View file

@ -1,4 +1,4 @@
{ stdenv, fetchurl, postgresql, wxGTK, libxml2, libxslt, openssl, zlib }:
{ stdenv, fetchurl, postgresql, wxGTK, libxml2, libxslt, openssl, zlib, makeDesktopItem }:
stdenv.mkDerivation rec {
name = "pgadmin3-${version}";
@ -29,4 +29,21 @@ stdenv.mkDerivation rec {
maintainers = with maintainers; [ domenkozar wmertens ];
platforms = platforms.unix;
};
postFixup = let
desktopItem = makeDesktopItem {
name = "pgAdmin";
desktopName = "pgAdmin III";
genericName = "SQL Administration";
exec = "pgadmin3";
icon = "pgAdmin3";
type = "Application";
categories = "Application;Development;";
mimeType = "text/html";
};
in ''
mkdir -p $out/share/pixmaps;
cp pgadmin/include/images/pgAdmin3.png $out/share/pixmaps/;
cp -rv ${desktopItem}/share/applications $out/share/
'';
}