[bug#41010] Rename & upgrade oil-shell

[Ryan Prior via Guix-patches via <guix-patches@gnu.org>]

[-- Attachment #1.1: Type: text/plain, Size: 72 bytes --]

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

[-- Attachment #1.2: Type: text/html, Size: 359 bytes --]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-oil-shell-Rename-to-oil-and-add-a-deprecated-ali.patch --]
[-- Type: text/x-patch; name="0001-gnu-oil-shell-Rename-to-oil-and-add-a-deprecated-ali.patch", Size: 799 bytes --]

From 246c5f03f2d34a2a78e095bdfb0dd82de905eb0a Mon Sep 17 00:00:00 2001
From: Ryan Prior <rprior@protonmail.com>
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