diff options
| author | zimoun <[email protected]> | 2019-12-04 19:06:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2019-12-08 23:14:03 +0100 |
| commit | 7282f9496793227d7ac6f902976aecb663068ec1 (patch) | |
| tree | 42bdc9d0c1fb22255d4d262b12de92ec7ec01657 /.gitignore | |
| parent | d9b4022c6fd6844e42aaa503d3118bf3e3a0a441 (diff) | |
lint: Add '--load-path' option.
* guix/scripts/lint.scm (%options): Add '--load-path' option.
* doc/guix.texi: Document it.
* tests/guix-lint.sh: Test it.
Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions