04/04: gnu: oil-shell: Rename to "oil".

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 5225626ffcdc29a62e8e089abcbb3d304febd2f2
Author: Ryan Prior <address@hidden>
AuthorDate: Fri May 1 14:47:20 2020 -0500

    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 <address@hidden>
---
 gnu/packages/shells.scm | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm
index b752fb4..5c8c4b5 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")