Re: [PATCH] gnu: Add ircii.

[Leo Famulari]

On Tue, Aug 09, 2016 at 09:38:55PM +0200, Ricardo Wurmus wrote:

I actually applied a tweaked version of this patch with c744f5c0ad.

But, the improvements you suggest should be applied.

> > +           (lambda* (#:key inputs #:allow-other-keys)
> > +             (substitute* "bsdinstall"
> > +               (("/bin/strip") "strip")
> > +               (("/bin/cp") "cp")
> > +               (("/bin/chmod") "chmod")
> > +               (("/etc/chown") "chown")

> - “/etc/chown”?

This, I missed :/