{ config, lib, pkgs, ... }: with lib; let cfg = config.news; entryModule = types.submodule ({ config, ... }: { options = { id = mkOption { internal = true; type = types.str; description = '' A unique entry identifier. By default it is a base16 formatted hash of the entry message. ''; }; time = mkOption { internal = true; type = types.str; example = "2017-07-10T21:55:04+00:00"; description = '' News entry time stamp in ISO-8601 format. Must be in UTC (ending in '+00:00'). ''; }; condition = mkOption { internal = true; default = true; description = "Whether the news entry should be active."; }; message = mkOption { internal = true; type = types.str; description = "The news entry content."; }; }; config = { id = mkDefault (builtins.hashString "sha256" config.message); }; }); in { options = { news = { display = mkOption { type = types.enum [ "silent" "notify" "show" ]; default = "notify"; description = '' How unread and relevant news should be presented when running home-manager build and home-manager switch. The options are silent Do not print anything during build or switch. The home-manager news command still works for viewing the entries. notify The number of unread and relevant news entries will be printed to standard output. The home-manager news command can later be used to view the entries. show A pager showing unread news entries is opened. ''; }; entries = mkOption { internal = true; type = types.listOf entryModule; default = []; description = "News entries."; }; }; }; config = { news.entries = [ { time = "2017-09-12T14:22:18+00:00"; message = '' A new service is available: 'services.blueman-applet'. ''; } { time = "2017-09-12T13:11:48+00:00"; condition = ( config.programs.zsh.enable && config.programs.zsh.shellAliases != {} ); message = '' Aliases defined in 'programs.zsh.shellAliases' are now have the highest priority. Such aliases will not be redefined by the code in 'programs.zsh.initExtra' or any external plugins. ''; } { time = "2017-09-10T22:15:19+00:00"; condition = config.programs.zsh.enable; message = '' Home Manager now offers its own minimal zsh plugin manager under the 'programs.zsh.plugins' option path. By statically sourcing your plugins it achieves no startup overhead. ''; } { time = "2017-09-01T10:56:28+00:00"; message = '' Hello! This is a news entry and it represents an experimental new feature of Home Manager. The idea is to inform you when something of importance happens in Home Manager or its modules. We will try to not disturb you about the same news more than once so the next time you run home-manager switch or home-manager build it should not notify you about this text again. News items may be conditional and will then only show if the condition holds, for example if they are relevant to your configuration. If you want to see all relevant news then please use the home-manager news command. Since this is an experimental feature any positive or negative feedback would be greatly appreciated. For example, by commenting in https://git.io/v5BJL. ''; } ]; }; }