diff options
author | Ryan Prior <rprior@protonmail.com> | 2020-05-01 14:47:20 -0500 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-15 20:37:42 +0200 |
commit | 5225626ffcdc29a62e8e089abcbb3d304febd2f2 (patch) | |
tree | 2128d5c7c2824b7e4e60b2246d7acd880ab62d8a | |
parent | 6e9ffc3f778b43aa42c2142ec9ebbe3be4bf47cc (diff) |
gnu: oil-shell: Rename to "oil".
* gnu/packages/shells.scm (oil): Rename variable from…
(oil-shell): …this. Redefine using DEPRECATED-PACKAGE.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
-rw-r--r-- | gnu/packages/shells.scm | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm index b752fb4a90..5c8c4b5d8a 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -780,9 +780,9 @@ Shell (pdksh).") (license (list miros isc)))) ; strlcpy.c -(define-public oil-shell +(define-public oil (package - (name "oil-shell") + (name "oil") (version "0.7.0") (source (origin (method url-fetch) @@ -826,6 +826,9 @@ is commonly written.") (license (list psfl ; The Oil sources include a patched Python 2 source tree asl2.0)))) +(define-public oil-shell + (deprecated-package "oil-shell" oil)) + (define-public gash (package (name "gash") |