Skip to content

Instantly share code, notes, and snippets.

Created March 13, 2017 12:05
Show Gist options
  • Save anonymous/f96d9040447d15d3a51390d515e78a08 to your computer and use it in GitHub Desktop.
Save anonymous/f96d9040447d15d3a51390d515e78a08 to your computer and use it in GitHub Desktop.
nixpkgs/pkgs/desktops/pantheon/apps/pantheon-terminal/default.nix
{ stdenv, fetchurl, perl, cmake, vala, pkgconfig, glib, gtk3, granite, gnome3, libnotify, gettext, makeWrapper }:
stdenv.mkDerivation rec {
majorVersion = "0.4";
minorVersion = "0.3";
name = "pantheon-terminal-${majorVersion}.${minorVersion}";
src = fetchurl {
url = "https://launchpad.net/pantheon-terminal/${majorVersion}.x/${majorVersion}.${minorVersion}/+download/${name}.tar.xz";
sha256 = "1q3lkwbcs6p08p1782x95sh83d17a25gn9y0g76w7q86wy5m3xjc";
};
preConfigure = ''
export PKG_CONFIG_PATH="$PKG_CONFIG_PATH:${granite}/lib64/pkgconfig"
'';
preFixup = ''
for f in $out/bin/*; do
wrapProgram $f \
--prefix XDG_DATA_DIRS : "$GSETTINGS_SCHEMAS_PATH:$XDG_ICON_DIRS:$out/share"
done
'';
buildInputs = with gnome3; [
perl cmake vala pkgconfig glib gtk3 granite libnotify gettext makeWrapper
vte libgee gsettings_desktop_schemas defaultIconTheme
];
outputs = []
meta = {
description = "Elementary OS's terminal";
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 ];
};
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment