2016-07-30 04:13:00 +02:00
|
|
|
{
|
2018-12-02 23:42:27 +01:00
|
|
|
mkDerivation, lib, makeWrapper,
|
2017-05-17 21:26:11 +02:00
|
|
|
extra-cmake-modules, kdoctools,
|
2016-07-30 04:13:00 +02:00
|
|
|
kbookmarks, kcompletion, kconfig, kconfigwidgets, kcoreaddons, kguiaddons,
|
|
|
|
ki18n, kiconthemes, kinit, kdelibs4support, kio, knotifications,
|
|
|
|
knotifyconfig, kparts, kpty, kservice, ktextwidgets, kwidgetsaddons,
|
2018-04-20 16:24:00 +02:00
|
|
|
kwindowsystem, kxmlgui, qtscript, knewstuff
|
2016-04-21 18:00:51 +02:00
|
|
|
}:
|
|
|
|
|
2017-05-16 17:56:41 +02:00
|
|
|
mkDerivation {
|
|
|
|
name = "konsole";
|
|
|
|
meta = {
|
|
|
|
license = with lib.licenses; [ gpl2 lgpl21 fdl12 ];
|
|
|
|
maintainers = [ lib.maintainers.ttuegel ];
|
|
|
|
};
|
2017-05-17 21:26:11 +02:00
|
|
|
nativeBuildInputs = [ extra-cmake-modules kdoctools ];
|
2017-06-21 15:51:31 +02:00
|
|
|
buildInputs = [
|
2017-05-17 21:26:11 +02:00
|
|
|
kbookmarks kcompletion kconfig kconfigwidgets kcoreaddons kdelibs4support
|
2017-06-21 15:51:31 +02:00
|
|
|
kguiaddons ki18n kiconthemes kinit kio knotifications knotifyconfig kparts kpty
|
2018-04-20 16:24:00 +02:00
|
|
|
kservice ktextwidgets kwidgetsaddons kwindowsystem kxmlgui qtscript knewstuff
|
2018-12-02 23:42:27 +01:00
|
|
|
makeWrapper
|
2017-05-16 17:56:41 +02:00
|
|
|
];
|
2018-12-02 23:42:27 +01:00
|
|
|
|
|
|
|
postInstall = ''
|
|
|
|
wrapProgram $out/bin/konsole --prefix XDG_DATA_DIRS ":" $out/share
|
|
|
|
'';
|
|
|
|
|
2017-08-04 10:58:44 +02:00
|
|
|
propagatedUserEnvPkgs = [ (lib.getBin kinit) ];
|
2017-01-03 00:33:15 +01:00
|
|
|
}
|