Merge pull request #39368 from flokli/sqldeveloper-desktopitem

sqldeveloper: add desktop item
This commit is contained in:
Pascal Wittmann 2018-04-24 18:02:33 +02:00 committed by GitHub
commit d3a5a921fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,21 @@
{ stdenv, makeWrapper, requireFile, unzip, openjdk }:
{ stdenv, makeDesktopItem, makeWrapper, requireFile, unzip, openjdk }:
stdenv.mkDerivation rec {
let
version = "17.4.1.054.0712";
desktopItem = makeDesktopItem {
name = "sqldeveloper";
exec = "sqldeveloper";
icon = "sqldeveloper";
desktopName = "Oracle SQL Developer";
genericName = "Oracle SQL Developer";
comment = "Oracle's Oracle DB GUI client";
categories = "Application;Development;";
};
in
stdenv.mkDerivation rec {
inherit version;
name = "sqldeveloper-${version}";
src = requireFile rec {
@ -51,6 +65,10 @@ stdenv.mkDerivation rec {
cd $out
unzip ${src}
mv sqldeveloper $out/lib/${name}
install -D -m 444 $out/lib/$name/icon.png $out/share/pixmaps/sqldeveloper.png
mkdir -p $out/share/applications
cp ${desktopItem}/share/applications/* $out/share/applications
'';
meta = with stdenv.lib; {