diff options
author | notgne2 | 2020-10-10 10:42:14 -0700 |
---|---|---|
committer | notgne2 | 2020-10-10 10:42:14 -0700 |
commit | 867438bfc011e63b633b9d6fa2b0edb3367ea253 (patch) | |
tree | 75398914214e129a05d19b256289984e0fa085f8 | |
parent | 4a2b677e892845b121d353864d54aec92a411e48 (diff) |
Document `profilePath` option
Diffstat (limited to '')
-rw-r--r-- | README.md | 3 | ||||
-rw-r--r-- | interface/README.md | 1 |
2 files changed, 4 insertions, 0 deletions
@@ -38,6 +38,9 @@ This is the core of how `deploy-rs` was designed, any number of these can run on # For ease of use, `deploy-rs` provides a function to easy all this required activation script to any derivation path = deploy-rs.lib.x86_64-linux.setActivate pkgs.hello "./bin/hello"; + # An optional path to where your profile should be installed to, this is useful if you want to use a common profile name across multiple users, but would have conflicts in your node's profile list. + profilePath = "/nix/var/nix/profiles/per-user/someuser/someprofile"; + # ...generic options... (see lower section) } ``` diff --git a/interface/README.md b/interface/README.md index bfca01e..99afeb2 100644 --- a/interface/README.md +++ b/interface/README.md @@ -12,6 +12,7 @@ deploy │ ├── <PROFILE> │ │ ├── <generic args> │ │ ├── bootstrap + │ │ ├── profilePath │ │ └── path │ └── <PROFILE>... └── <NODE>... |