diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-01-19 21:54:46 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-19 23:11:37 +0100 |
| commit | a9f4a7eee379accded2bd1515d8acb0746ea0517 (patch) | |
| tree | 2a19367a00b41a78a295f2d33379efe9811ddfc0 /doc/htmlxref.cnf | |
| parent | 3adf320e44e54017a67f219ce9667a379c393dad (diff) | |
repl: Add "-q".
* guix/scripts/repl.scm (%options, show-help): Add "-q".
(guix-repl): Add 'user-config' and use it. Honor 'ignore-dot-guile?'.
Diffstat (limited to 'doc/htmlxref.cnf')
0 files changed, 0 insertions, 0 deletions