2017-09-28 19:39:37 +02:00
|
|
|
{ stdenv, fetchurl, perl, cmake, vala_0_38, pkgconfig, glib, gtk3, granite, gnome3, libnotify, gettext, makeWrapper }:
|
2014-10-08 18:18:37 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2017-09-28 19:39:37 +02:00
|
|
|
majorVersion = "0.4";
|
|
|
|
minorVersion = "3";
|
2014-10-08 18:18:37 +02:00
|
|
|
name = "pantheon-terminal-${majorVersion}.${minorVersion}";
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://launchpad.net/pantheon-terminal/${majorVersion}.x/${majorVersion}.${minorVersion}/+download/${name}.tgz";
|
2015-09-20 17:52:05 +02:00
|
|
|
sha256 = "0bfrqxig26i9qhm15kk7h9lgmzgnqada5snbbwqkp0n0pnyyh4ss";
|
2014-10-08 18:18:37 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
preConfigure = ''
|
|
|
|
export PKG_CONFIG_PATH="$PKG_CONFIG_PATH:${granite}/lib64/pkgconfig"
|
|
|
|
'';
|
|
|
|
|
|
|
|
preFixup = ''
|
|
|
|
for f in $out/bin/*; do
|
|
|
|
wrapProgram $f \
|
2015-05-30 22:29:04 +02:00
|
|
|
--prefix XDG_DATA_DIRS : "$GSETTINGS_SCHEMAS_PATH:$XDG_ICON_DIRS:$out/share"
|
2014-10-08 18:18:37 +02:00
|
|
|
done
|
|
|
|
'';
|
|
|
|
|
2017-09-28 19:39:37 +02:00
|
|
|
nativeBuildInputs = [ perl cmake vala_0_38 pkgconfig makeWrapper ];
|
2015-05-30 22:29:04 +02:00
|
|
|
buildInputs = with gnome3; [
|
2017-09-28 19:39:37 +02:00
|
|
|
glib gtk3 granite libnotify gettext vte_290 libgee
|
|
|
|
gsettings_desktop_schemas defaultIconTheme
|
2015-05-30 22:29:04 +02:00
|
|
|
];
|
2014-10-08 18:18:37 +02:00
|
|
|
meta = {
|
2016-06-20 12:53:46 +02:00
|
|
|
description = "Elementary OS's terminal";
|
2014-10-08 18:18:37 +02:00
|
|
|
longDescription = "A super lightweight, beautiful, and simple terminal. It's designed to be setup with sane defaults and little to no configuration. It's just a terminal, nothing more, nothing less. Designed for elementary OS.";
|
|
|
|
homepage = https://launchpad.net/pantheon-terminal;
|
|
|
|
license = stdenv.lib.licenses.gpl3;
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
|
|
|
maintainers = [ stdenv.lib.maintainers.vozz ];
|
|
|
|
};
|
|
|
|
}
|