nixpkgs/pkgs/applications/misc/finalterm/default.nix

66 lines
2.0 KiB
Nix
Raw Normal View History

2017-04-02 19:25:46 +01:00
{ stdenv, lib, fetchFromGitHub, makeWrapper
, pkgconfig, cmake, libxml2, vala_0_26, intltool, libmx, gnome3, gtk3, gtk-doc
, keybinder3, clutter-gtk, libnotify
, libxkbcommon, xorg, udev
2014-04-26 21:56:58 +01:00
, bashInteractive
}:
2017-04-02 19:25:46 +01:00
with stdenv.lib;
stdenv.mkDerivation {
name = "finalterm-git-2014-11-15";
2014-04-26 21:56:58 +01:00
2017-04-02 19:25:46 +01:00
src = fetchFromGitHub {
owner = "p-e-w";
repo = "finalterm";
rev = "39b078b2a96a5c3c9e74f92b1929f383d220ca8b";
sha256 = "14viln5nabr39lafg1lzf6ydibz1h5d9346drp435ljxc6wsh21i";
2014-04-26 21:56:58 +01:00
};
2017-04-02 19:25:46 +01:00
nativeBuildInputs = [ pkgconfig cmake intltool makeWrapper ];
2014-04-26 21:56:58 +01:00
buildInputs = [
vala_0_26 gtk3 gnome3.gnome-common gnome3.libgee
gtk-doc clutter-gtk libmx keybinder3 libxml2 libnotify
xorg.libpthreadstubs xorg.libXdmcp xorg.libxshmfence
2014-04-26 21:56:58 +01:00
libxkbcommon
2017-04-02 19:25:46 +01:00
] ++ optionals stdenv.isLinux [ udev ];
2014-04-26 21:56:58 +01:00
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 : "${getLib 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
'';
2017-04-02 19:25:46 +01:00
meta = {
homepage = http://finalterm.org;
2014-04-26 21:56:58 +01:00
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;
2017-04-02 19:25:46 +01:00
maintainers = [ maintainers.cstrahan ];
platforms = platforms.linux;
2014-04-26 21:56:58 +01:00
};
}