diff options
author | timor <timor.dd@googlemail.com> | 2019-02-06 17:30:09 +0100 |
---|---|---|
committer | timor <timor.dd@googlemail.com> | 2019-02-06 17:39:28 +0100 |
commit | 366da7c17c57db00710b632892ff1a1f61ae2c02 (patch) | |
tree | c29fd74d9139321035eb1527535112f312e26d4d /nixos/modules/misc | |
parent | 8317d16d5555123d7957bdc5934f1420b494916e (diff) |
kio-extras: enable man protocol
This installs the kio "man:" protocol handler, which fixes the UNIX manual section in the KDE Help Center. Note that kde currently parses "/etc/man.conf" manually, if `$MANPATH` is not set, to build its man page index. (if https://bugs.kde.org/show_bug.cgi?id=404022 is addressed, the "/etc/man.conf" symlink should not be necessary anymore)
Diffstat (limited to 'nixos/modules/misc')
-rw-r--r-- | nixos/modules/misc/documentation.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixos/modules/misc/documentation.nix b/nixos/modules/misc/documentation.nix index 09d53c322fb37..9b2e1235b7481 100644 --- a/nixos/modules/misc/documentation.nix +++ b/nixos/modules/misc/documentation.nix @@ -156,6 +156,7 @@ in environment.systemPackages = [ pkgs.man-db ]; environment.pathsToLink = [ "/share/man" ]; environment.extraOutputsToInstall = [ "man" ] ++ optional cfg.dev.enable "devman"; + environment.etc."man.conf".source = "${pkgs.man-db}/etc/man_db.conf"; }) (mkIf cfg.info.enable { |