2021-05-07 22:18:14 +01:00
|
|
|
{ lib, stdenv, fetchurl, pkg-config, libxml2, gnome, dconf, nautilus
|
2020-02-09 00:37:58 +00:00
|
|
|
, gtk3, gsettings-desktop-schemas, vte, gettext, which, libuuid, vala
|
2021-02-17 03:29:20 +00:00
|
|
|
, desktop-file-utils, itstool, wrapGAppsHook, pcre2
|
2020-08-21 19:43:21 +01:00
|
|
|
, libxslt, docbook-xsl-nons }:
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "gnome-terminal";
|
2021-03-21 01:06:14 +00:00
|
|
|
version = "3.40.1";
|
2018-02-25 20:07:20 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2021-01-15 13:21:58 +00:00
|
|
|
url = "mirror://gnome/sources/gnome-terminal/${lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2021-03-21 01:06:14 +00:00
|
|
|
sha256 = "1r6qd6w18gk83w32y6bvn4hg2hd7qvngak4ymwpgndyp41rwqw07";
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
|
|
|
|
2018-08-08 02:29:49 +01:00
|
|
|
buildInputs = [
|
2019-02-13 21:47:50 +00:00
|
|
|
gtk3 gsettings-desktop-schemas vte libuuid dconf
|
2018-08-08 02:29:49 +01:00
|
|
|
# For extension
|
|
|
|
nautilus
|
|
|
|
];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2018-08-08 02:29:49 +01:00
|
|
|
nativeBuildInputs = [
|
2021-01-17 02:21:50 +00:00
|
|
|
pkg-config gettext itstool which libxml2 libxslt docbook-xsl-nons
|
2019-09-02 17:45:21 +01:00
|
|
|
vala desktop-file-utils wrapGAppsHook pcre2
|
2018-08-08 02:29:49 +01:00
|
|
|
];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
# Silly ./configure, it looks for dbus file from gnome-shell in the
|
|
|
|
# installation tree of the package it is configuring.
|
2016-10-01 10:19:20 +01:00
|
|
|
postPatch = ''
|
2021-05-07 22:18:14 +01:00
|
|
|
substituteInPlace configure --replace '$(eval echo $(eval echo $(eval echo ''${dbusinterfacedir})))/org.gnome.ShellSearchProvider2.xml' "${gnome.gnome-shell}/share/dbus-1/interfaces/org.gnome.ShellSearchProvider2.xml"
|
|
|
|
substituteInPlace src/Makefile.in --replace '$(dbusinterfacedir)/org.gnome.ShellSearchProvider2.xml' "${gnome.gnome-shell}/share/dbus-1/interfaces/org.gnome.ShellSearchProvider2.xml"
|
2016-09-18 20:35:23 +01:00
|
|
|
'';
|
|
|
|
|
2018-08-08 02:29:49 +01:00
|
|
|
configureFlags = [ "--disable-migration" ]; # TODO: remove this with 3.30
|
|
|
|
|
|
|
|
passthru = {
|
2021-05-07 22:18:14 +01:00
|
|
|
updateScript = gnome.updateScript {
|
2018-08-08 02:29:49 +01:00
|
|
|
packageName = "gnome-terminal";
|
2021-05-07 22:18:14 +01:00
|
|
|
attrPath = "gnome.gnome-terminal";
|
2018-08-08 02:29:49 +01:00
|
|
|
};
|
|
|
|
};
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2016-10-01 23:04:58 +01:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2016-09-18 20:35:23 +01:00
|
|
|
description = "The GNOME Terminal Emulator";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://wiki.gnome.org/Apps/Terminal";
|
2016-09-18 20:35:23 +01:00
|
|
|
platforms = platforms.linux;
|
2018-08-08 02:29:49 +01:00
|
|
|
license = licenses.gpl3Plus;
|
2020-04-01 13:40:51 +01:00
|
|
|
maintainers = teams.gnome.members;
|
2016-09-18 20:35:23 +01:00
|
|
|
};
|
|
|
|
}
|