Robert Helgesson
6e4b9af080
Switch to extended Nixpkg's lib
...
This change makes use of the `extend` function inside `lib` to inject
a new `hm` field containing the Home Manager library functions. This
simplifies use of the Home Manager library in the modules and reduces
the risk of accidental infinite recursion.
PR #994
2020-01-21 20:47:04 +01:00
Robert Helgesson
7c76ae1814
manual: add nmd as a generation dependency
...
This is to allow network-less rebuilding of a generation after a
garbage collection.
Fixes #819
2019-08-28 20:36:11 +02:00
Robert Helgesson
eb0ccf7286
docs: use nmd for generating documentation
...
The nmd library is an external library for generating Nix-centric
documentation.
2019-08-21 20:35:59 +02:00
Alex Ameen
ff602cb906
manual: add option manual.json.enable
...
Make it possible to install a JSON file containing the available Home
Manager options.
2019-04-15 22:43:46 +02:00
Robert Helgesson
5d81cb6ac7
manual: use writeShellScriptBin
2019-03-21 00:39:54 +01:00
Robert Helgesson
f812260c23
manual: add HTML manual
...
Also add a `home-manager-help` script that attempts to open the HTML
manual in a browser.
2018-05-18 23:22:03 +02:00
Robert Helgesson
ec3cbf81c4
manual: some cleanups
2018-05-11 22:26:21 +02:00
Robert Helgesson
f9af8e0390
manual: fix import path
...
Need to refer to the `default.nix` in the same home-manager source
otherwise you might get an old version.
2018-05-07 00:10:58 +02:00
Robert Helgesson
1260349384
doc: make documentation independent from NixOS
...
Unfortunately this duplicates some code from NixOS but it does allow
much more flexibility and, hopefully, stability in the Home Manager
documentation.
Fixes #254 .
2018-05-06 22:16:48 +02:00
Robert Helgesson
a8e08d14bb
Mark rycee as maintainer for a bunch of modules
2017-09-26 23:40:31 +02:00
Robert Helgesson
dba14bfe90
manual: fix man pages build on unstable NixOS
2017-07-21 21:10:32 +02:00
Robert Helgesson
ed81b6848e
manual: add module
...
This module is capable of producing a bastardized NixOS configuration
manual with Home Manager configuration options instead.
2017-01-15 23:42:48 +01:00
