Subject: Rename & upgrade oil-shell

From: Ryan Prior <[email-masked]>
Date: Fri, 01 May 2020 20:01:09 +0000

This patch renames oil-shell to oil, at the request of upstream authors.

From 246c5f03f2d34a2a78e095bdfb0dd82de905eb0a Mon Sep 17 00:00:00 2001
From: Ryan Prior <[email-masked]>
Date: Fri, 1 May 2020 14:47:20 -0500
Subject: [PATCH] gnu: oil-shell: Rename to "oil" and add a deprecated alias

---
 gnu/packages/shells.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm
index c71e6399ea..08a475dfe1 100644
--- a/gnu/packages/shells.scm
+++ b/gnu/packages/shells.scm
@@ -749,8 +749,11 @@ Shell (pdksh).")
                    isc))))              ; strlcpy.c
 
 (define-public oil-shell
+  (deprecated-package "oil-shell" oil))
+
+(define-public oil
   (package
-    (name "oil-shell")
+    (name "oil")
     (version "0.7.0")
     (source (origin
               (method url-fetch)
-- 
2.17.1