From b2ad55b5550068dce6df4267096ab1d2a1dbe868 Mon Sep 17 00:00:00 2001 From: Ryan Prior Date: Fri, 1 May 2020 14:47:20 -0500 Subject: gnu: oil-shell: Rename to "oil" and add a deprecated alias --- 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 c71e6399ea..10f0ec817c 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -748,9 +748,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) @@ -794,6 +794,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") -- cgit v1.2.3