diff options
| author | Graham Christensen <graham@grahamc.com> | 2019-06-27T18·21-0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2019-07-02T12·41-0400 |
| commit | 17d3ec3405eb114f89dc42d065afa887161f6149 (patch) | |
| tree | 733c08fd098e457488895ca8dc0a5383ad5256ea /src/libstore/profiles.hh | |
| parent | 324a5dc92f8e50e6b637c5e67dea48c80be10837 (diff) | |
checkStoreName: give more precise/verbose error information
$ sudo ./inst/bin/nix-instantiate -E '"${./.git}"'
error: The path name '.git' is invalid: it is illegal to start the
name with a period. Path names are alphanumeric and can include the
symbols +-._?= and must not begin with a period. Note: If '.git' is a
source file and you cannot rename it on disk,
builtins.path { name = ... } can be used to give it an alternative
name.
Diffstat (limited to 'src/libstore/profiles.hh')
0 files changed, 0 insertions, 0 deletions