about summary refs log tree commit diff
path: root/pkgs/desktops/gnome-3/apps/gedit
diff options
context:
space:
mode:
authorLuca Bruno <lucabru@src.gnome.org>2014-05-18 21:08:04 +0200
committerLuca Bruno <lucabru@src.gnome.org>2014-05-20 13:41:33 +0200
commitd05fa3ccfeafbf81e514a82cf2f04fff2b03659b (patch)
tree06daeb89a6b398fa369a45a37f995b0dccc67d6a /pkgs/desktops/gnome-3/apps/gedit
parent139608dd34414ae63e6679d34436588029d463b0 (diff)
Branch gnome 3.12
Diffstat (limited to 'pkgs/desktops/gnome-3/apps/gedit')
-rw-r--r--pkgs/desktops/gnome-3/apps/gedit/default.nix39
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;
-  };
-}