diff options
author | Luca Bruno <lucabru@src.gnome.org> | 2014-05-18 21:08:04 +0200 |
---|---|---|
committer | Luca Bruno <lucabru@src.gnome.org> | 2014-05-20 13:41:33 +0200 |
commit | d05fa3ccfeafbf81e514a82cf2f04fff2b03659b (patch) | |
tree | 06daeb89a6b398fa369a45a37f995b0dccc67d6a /pkgs/desktops/gnome-3/apps/gedit | |
parent | 139608dd34414ae63e6679d34436588029d463b0 (diff) |
Branch gnome 3.12
Diffstat (limited to 'pkgs/desktops/gnome-3/apps/gedit')
-rw-r--r-- | pkgs/desktops/gnome-3/apps/gedit/default.nix | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/pkgs/desktops/gnome-3/apps/gedit/default.nix b/pkgs/desktops/gnome-3/apps/gedit/default.nix deleted file mode 100644 index 84a77e5a024af..0000000000000 --- a/pkgs/desktops/gnome-3/apps/gedit/default.nix +++ /dev/null @@ -1,39 +0,0 @@ -{ stdenv, intltool, fetchurl, enchant, isocodes -, pkgconfig, gtk3, glib, hicolor_icon_theme -, bash, makeWrapper, itstool, libsoup, libxml2 -, gnome3, librsvg, gdk_pixbuf, file }: - -stdenv.mkDerivation rec { - name = "gedit-3.10.4"; - - src = fetchurl { - url = "mirror://gnome/sources/gedit/3.10/${name}.tar.xz"; - sha256 = "40dc10b6e26fd8523087e7321a20a063f4c1e586dffd7ce8ee78eead11359f9e"; - }; - - propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ]; - - buildInputs = [ pkgconfig gtk3 glib intltool itstool enchant isocodes - gdk_pixbuf gnome3.gnome_icon_theme librsvg libsoup - gnome3.libpeas gnome3.gtksourceview libxml2 - hicolor_icon_theme gnome3.gnome_icon_theme_symbolic - gnome3.gsettings_desktop_schemas makeWrapper file ]; - - enableParallelBuilding = true; - - preFixup = '' - wrapProgram "$out/bin/gedit" \ - --set GDK_PIXBUF_MODULE_FILE "$GDK_PIXBUF_MODULE_FILE" \ - --prefix GI_TYPELIB_PATH : "$GI_TYPELIB_PATH" \ - --prefix LD_LIBRARY_PATH : "${gnome3.libpeas}/lib:${gnome3.gtksourceview}/lib" \ - --prefix XDG_DATA_DIRS : "${gnome3.gtksourceview}/share:${gnome3.gnome_themes_standard}/share:$XDG_ICON_DIRS:$GSETTINGS_SCHEMAS_PATH" - ''; - - meta = with stdenv.lib; { - homepage = https://wiki.gnome.org/Apps/Gedit; - description = "Official text editor of the GNOME desktop environment"; - maintainers = with maintainers; [ lethalman ]; - license = licenses.gpl2; - platforms = platforms.linux; - }; -} |