GNU bug report logs - #25034
red-eclipse: "data" directory in "$out/", not in "$out/share"

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Andreas Enge <andreas <at> enge.fr>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#25034: closed (red-eclipse: "data" directory in "$out/", not
 in "$out/share")
Date: Fri, 09 Feb 2018 21:50:01 +0000

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

Your message dated Fri, 9 Feb 2018 22:49:34 +0100
with message-id <20180209214934.GB11675 <at> jurong>
and subject line Re: red-eclipse: "data" directory in "$out/", not in "$out/share"
has caused the debbugs.gnu.org bug report #25034,
regarding red-eclipse: "data" directory in "$out/", not in "$out/share"
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
25034: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25034
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Adonay Felipe Nogueira <adfeno <at> openmailbox.org>
To: bug-guix <at> gnu.org
Subject: red-eclipse: "data" directory in "$out/", not in "$out/share"
Date: Sat, 26 Nov 2016 08:13:06 -0200

Simple to check, simply list the contents of Red Eclipse's store
entry. The "data" directory is at the root.

Shouldn't it be "$out/share/red-eclipse/data"? Or
"$out/share/red-eclipse"?


Respectfully, Adonay.

[Message part 3 (message/rfc822, inline)]

From: Andreas Enge <andreas <at> enge.fr>
To: 25034-done <at> debbugs.gnu.org
Subject: Re: red-eclipse: "data" directory in "$out/", not in "$out/share"
Date: Fri, 9 Feb 2018 22:49:34 +0100

This is solved by the patch sent to bug #28164, closing this bug.

Andreas

Previous Next

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