2018-08-20 21:31:18 +01:00
|
|
|
{ stdenv, fetchFromGitHub, pantheon, pkgconfig, meson, ninja, python3
|
|
|
|
, vala, desktop-file-utils, gtk3, libxml2, granite, libnotify, vte, libgee
|
|
|
|
, elementary-icon-theme, appstream, gobject-introspection, wrapGAppsHook }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "terminal";
|
2019-03-29 19:33:27 +00:00
|
|
|
version = "5.3.4";
|
2018-08-20 21:31:18 +01:00
|
|
|
|
|
|
|
name = "elementary-${pname}-${version}";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "elementary";
|
|
|
|
repo = pname;
|
|
|
|
rev = version;
|
2019-03-29 19:33:27 +00:00
|
|
|
sha256 = "08vwgd385j7cbi7c8442sjygzw9qy2phsi5lva4jaxwm8l15hk86";
|
2018-08-20 21:31:18 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = pantheon.updateScript {
|
|
|
|
repoName = pname;
|
|
|
|
attrPath = "elementary-${pname}";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
appstream
|
|
|
|
desktop-file-utils
|
|
|
|
gobject-introspection
|
|
|
|
libxml2
|
|
|
|
meson
|
|
|
|
ninja
|
|
|
|
pkgconfig
|
|
|
|
python3
|
|
|
|
vala
|
|
|
|
wrapGAppsHook
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
elementary-icon-theme
|
|
|
|
granite
|
|
|
|
gtk3
|
|
|
|
libgee
|
|
|
|
libnotify
|
|
|
|
vte
|
|
|
|
];
|
|
|
|
|
|
|
|
# See https://github.com/elementary/terminal/commit/914d4b0e2d0a137f12276d748ae07072b95eff80
|
|
|
|
mesonFlags = [ "-Dubuntu-bionic-patched-vte=false" ];
|
|
|
|
|
|
|
|
postPatch = ''
|
|
|
|
chmod +x meson/post_install.py
|
|
|
|
patchShebangs meson/post_install.py
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "Terminal emulator designed for elementary OS";
|
|
|
|
longDescription = ''
|
|
|
|
A super lightweight, beautiful, and simple terminal. Comes with sane defaults, browser-class tabs, sudo paste protection,
|
|
|
|
smart copy/paste, and little to no configuration.
|
|
|
|
'';
|
|
|
|
homepage = https://github.com/elementary/terminal;
|
|
|
|
license = licenses.lgpl3;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = pantheon.maintainers;
|
|
|
|
};
|
|
|
|
}
|