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: adfeno <at> hyperbola.info
Subject: bug#25034: closed (Re: 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 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 25034 <at> debbugs.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: 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

[Message part 3 (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.

Previous Next

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