GNU bug report logs - #30221
[PATCH] gnu: Add the Oil shell.

Previous Next

Full log

Message #8 received at 30221 <at> debbugs.gnu.org (full text, mbox):

From: Eric Bavier <ericbavier <at> centurylink.net>
To: Leo Famulari <leo <at> famulari.name>
Cc: 30221 <at> debbugs.gnu.org
Subject: Re: [bug#30221] [PATCH] gnu: Add the Oil shell.
Date: Mon, 22 Jan 2018 16:36:02 -0600

[Message part 1 (text/plain, inline)]

On Mon, 22 Jan 2018 19:28:37 -0500
Leo Famulari <leo <at> famulari.name> wrote:

> * gnu/packages/shells.scm (oil-shell): New variable.
> ---
>  gnu/local.mk                                       |  1 +
>  gnu/packages/patches/oil-shell-compiler-name.patch | 18 +++++++++
>  gnu/packages/shells.scm                            | 44 +++++++++++++++++++++-
>  3 files changed, 62 insertions(+), 1 deletion(-)
>  create mode 100644 gnu/packages/patches/oil-shell-compiler-name.patch
> 
...
> +    (license (list psfl ; The Oil sources include a patched Python 2 source tree
                             ^
Really!?  :/

Does it build its own python then too?

Otherwise looks good to me.

`~Eric

[Message part 2 (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.