diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-10-19 11:50:14 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-10-26 12:46:28 +0200 |
| commit | 409f538d651a7ba26a41f714915e6b7d59e0a82f (patch) | |
| tree | ef5d4afd027c6294f5cd0e48d1fa796dfbb1faf0 /gnu | |
| parent | 9e46942c1c8e719af97026d89d64b25da759eff8 (diff) | |
| download | guix-409f538d651a7ba26a41f714915e6b7d59e0a82f.tar.gz | |
shell: Suggest running '--check' once for interactive use.
* guix/scripts/shell.scm (hint-directory, hint-file, record-hint) (hint-given?): New procedures. (guix-shell): Record and probe the 'shell-check' hint.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions