···5656 Path to 64x64 logo png.
5757 '';
5858 };
5959+6060+ extraPaths = mkOption {
6161+ type = types.attrsOf types.path;
6262+ default = { };
6363+ example = literalExpression ''"{ examples = ''${env.sitePack}/IRkernel/kernelspec/kernel.js"; }'';
6464+ description = ''
6565+ Extra paths to link in kernel directory
6666+ '';
6767+ };
5968 };
6069}
+4
nixos/modules/services/misc/dictd.nix
···4545 # get the command line client on system path to make some use of the service
4646 environment.systemPackages = [ pkgs.dict ];
47474848+ environment.etc."dict.conf".text = ''
4949+ server localhost
5050+ '';
5151+4852 users.users.dictd =
4953 { group = "dictd";
5054 description = "DICT.org dictd server";
···530530 google-gflags = gflags; # Added 2019-07-25
531531 google-musicmanager = throw "google-musicmanager has been removed because Google Play Music was discontinued"; # Added 2021-03-07
532532 google-music-scripts = throw "google-music-scripts has been removed because Google Play Music was discontinued"; # Added 2021-03-07
533533+ gosca = throw "gosca has been dropped due to the lack of maintanence from upstream since 2018"; # Added 2022-06-30
533534 gotags = throw "gotags has been dropped due to the lack of maintenance from upstream since 2018"; # Added 2022-06-03
534535 google-play-music-desktop-player = throw "GPMDP shows a black screen, upstream homepage is dead, use 'ytmdesktop' instead"; # Added 2022-06-16
536536+ go-langserver = throw "go-langserver has been replaced by gopls"; # Added 2022-06-30
535537 go-mk = throw "go-mk has been dropped due to the lack of maintanence from upstream since 2015"; # Added 2022-06-02
536538 go-pup = throw "'go-pup' has been renamed to/replaced by 'pup'"; # Converted to throw 2022-02-22
537539 go-repo-root = throw "go-repo-root has been dropped due to the lack of maintanence from upstream since 2014"; # Added 2022-06-02