Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

zsh: add news entry

Browse source
This commit is contained in:
Robin Stumm 2017-09-11 13:26:29 +02:00
parent 849cf3ad10
commit ca6803a163
No known key found for this signature in database
GPG key ID: 3DA3D7B8285FBE55
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/misc/news.nix
View file

@ -107,6 +107,15 @@ in
config = { config = {
news.entries = [ news.entries = [
{
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"; time = "2017-09-01T10:56:28+00:00";
message = '' message = ''