{ stdenv , fetchFromGitHub , nix-update-script , fetchpatch , pantheon , pkgconfig , meson , ninja , python3 , vala , desktop-file-utils , gtk3 , libxml2 , granite , libnotify , vte , libgee , elementary-icon-theme , appstream , pcre2 , wrapGAppsHook }: stdenv.mkDerivation rec { pname = "elementary-terminal"; version = "5.5.2"; repoName = "terminal"; src = fetchFromGitHub { owner = "elementary"; repo = repoName; rev = version; sha256 = "119iwmzbpkj4nmxinqfsh73lx23g8gbl6ha6wc4mc4fq9hpnc9c2"; }; passthru = { updateScript = nix-update-script { attrPath = "pantheon.${pname}"; }; }; nativeBuildInputs = [ appstream desktop-file-utils libxml2 meson ninja pkgconfig python3 vala wrapGAppsHook ]; buildInputs = [ elementary-icon-theme granite gtk3 libgee libnotify pcre2 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; }; }