diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-03-04 14:19:55 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-03-04 15:22:59 +0100 |
| commit | dca58219584c1163a9fbf88fccea885eb53bf2af (patch) | |
| tree | ba2d2992b2e638a8fb07c600c8a401a71ced001d /gnu/packages/patches/superlu-dist-awpm-grid.patch | |
| parent | bab9cc4aff09a14fdd4178c479becf932992b5b5 (diff) | |
| download | guix-dca58219584c1163a9fbf88fccea885eb53bf2af.tar guix-dca58219584c1163a9fbf88fccea885eb53bf2af.tar.gz | |
environment: Rename '--inherit' to '--preserve'.
Suggested by Eric Bavier and Ricardo Wurmus.
* guix/scripts/environment.scm (show-help, %options): Emit a deprecation
warning for "--inherit" and add -E/--preserve.
* tests/guix-environment.sh: Adjust accordingly.
* doc/guix.texi (Invoking guix environment): Update accordingly.
Diffstat (limited to 'gnu/packages/patches/superlu-dist-awpm-grid.patch')
0 files changed, 0 insertions, 0 deletions