From 0d3ee72abd40102fedd64a1e6cce87a2fb915488 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 | 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) -- cgit v1.2.3