Subject: bug#25034: closed (Re: red-eclipse: "data" directory in "$out/", not in "$out/share")

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 09 Feb 2018 21:50:01 +0000

Your bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
25034: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25034
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: red-eclipse: "data" directory in "$out/", not in "$out/share"
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Fri, 9 Feb 2018 22:49:34 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Andreas

Subject: red-eclipse: "data" directory in "$out/", not in "$out/share"
From: Adonay Felipe Nogueira <[email-masked]>
To: [email-masked]
Date: Sat, 26 Nov 2016 08:13:06 -0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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.