1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
nixpkgs/pkgs/applications/misc/finalterm/default.nix

64 lines
1.9 KiB
Nix
Raw Normal View History

{ stdenv, lib, fetchgit, makeWrapper
2016-08-21 17:23:58 +01:00
, pkgconfig, cmake, libxml2, vala_0_23, intltool, libmx, gnome3, gtk3, gtk_doc
2014-04-26 21:56:58 +01:00
, keybinder3, clutter_gtk, libnotify
, libxkbcommon, xorg, udev
2014-04-26 21:56:58 +01:00
, bashInteractive
}:
stdenv.mkDerivation {
name = "finalterm-git-2014-11-15";
2014-04-26 21:56:58 +01:00
src = fetchgit {
url = "https://github.com/p-e-w/finalterm.git";
rev = "39b078b2a96a5c3c9e74f92b1929f383d220ca8b";
sha256 = "14viln5nabr39lafg1lzf6ydibz1h5d9346drp435ljxc6wsh21i";
2014-04-26 21:56:58 +01:00
};
buildInputs = [
2016-08-21 17:23:58 +01:00
pkgconfig cmake vala_0_23 intltool gtk3 gnome3.gnome_common gnome3.libgee
2014-04-26 21:56:58 +01:00
gtk_doc clutter_gtk libmx keybinder3 libxml2 libnotify makeWrapper
xorg.libpthreadstubs xorg.libXdmcp xorg.libxshmfence
2014-04-26 21:56:58 +01:00
libxkbcommon
] ++ lib.optionals stdenv.isLinux [
udev
];
preConfigure = ''
substituteInPlace data/org.gnome.finalterm.gschema.xml \
--replace "/bin/bash" "${bashInteractive}/bin/bash"
cmakeFlagsArray=(
-DMINIMAL_FLAGS=ON
)
'';
2015-03-01 11:51:41 +00:00
postInstall = ''
mkdir -p $out/share/gsettings-schemas/$name
mv $out/share/glib-2.0 $out/share/gsettings-schemas/$name/
'';
2014-04-26 21:56:58 +01:00
postFixup = ''
wrapProgram "$out/bin/finalterm" \
--prefix GI_TYPELIB_PATH : "$GI_TYPELIB_PATH" \
--prefix GIO_EXTRA_MODULES : "${gnome3.dconf}/lib/gio/modules" \
--prefix XDG_DATA_DIRS : "${gnome3.defaultIconTheme}/share:${gnome3.gtk.out}/share:$out/share:$GSETTINGS_SCHEMAS_PATH"
2014-04-26 21:56:58 +01:00
'';
meta = with lib; {
homepage = "http://finalterm.org";
description = "A new breed of terminal emulator";
longDescription = ''
Final Term is a new breed of terminal emulator.
It goes beyond mere emulation and understands what is happening inside the shell it is hosting. This allows it to offer features no other terminal can, including:
- Semantic text menus
- Smart command completion
- GUI terminal controls
'';
license = licenses.gpl3Plus;
maintainers = with maintainers; [ cstrahan ];
platforms = platforms.linux;
2014-04-26 21:56:58 +01:00
};
}