diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2015-09-29 18:21:10 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-11-10 22:32:51 +0100 |
| commit | b39622a487e2978bd32c9faf2f651aec1f9815c1 (patch) | |
| tree | 9f7c754848efabd7bd7dc0c230d369bfd0af0606 /.gitignore | |
| parent | aaf8a1c16bb8de4045d8aae4fea8ac8a1bef2c34 (diff) | |
rename `chroot` to `sandbox` (fixes #656, close #682)
- rename options but leav old names as lower-priority aliases,
also "-dirs" -> "-paths" to get closer to the meaning
- update docs to reflect the new names (old aliases are not documented),
including a new file with release notes
- tests need an update after corresponding changes to nixpkgs
- __noChroot is left as it is (after discussion on the PR)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions