From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Lepiller Subject: bug#38433: ProofGeneral and Emacs sharing a profile Date: Sat, 30 Nov 2019 08:42:29 +0100 Message-ID: <7899596C-6400-4A84-8546-5A5F2853AA07@lepiller.eu> References: <87zhget4mt.fsf@posteo.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:48574) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iaxPD-0006Ah-Rh for bug-guix@gnu.org; Sat, 30 Nov 2019 02:43:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iaxPC-0007iU-MF for bug-guix@gnu.org; Sat, 30 Nov 2019 02:43:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:56010) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iaxPC-0007iA-JV for bug-guix@gnu.org; Sat, 30 Nov 2019 02:43:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iaxPC-0005cn-II for bug-guix@gnu.org; Sat, 30 Nov 2019 02:43:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87zhget4mt.fsf@posteo.net> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 38433@debbugs.gnu.org, brettg@posteo.net Le 30 novembre 2019 04:38:50 GMT+01:00, Brett Gilio a= =C3=A9crit : > >There is an issue after the EMACSLOADPATH change that creates a problem >when `proof-general` and `emacs` share a profile=2E This issue can be >replicated as follows: > >--8<---------------cut here---------------start------------->8--- >$ guix environment --ad-hoc proof-general emacs >--8<---------------cut here---------------end--------------->8--- > >When you launch the client of either of these after spinning up the >environment, you are prompted with this from the *Messages* buffer=2E > >--8<---------------cut here---------------start------------->8--- >Loading >/gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp= /ProofGeneral/generic/proof-autoloads=2E=2E=2Edone >Loading >/gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp= /ProofGeneral/generic/proof-autoloads=2E=2E=2E >byte-code: Already loaded >--8<---------------cut here---------------end--------------->8--- > >Loading stops without an error message at this point, failing to >complete the initialization process=2E > >I can probably figure out this issue, but I am currently drained for >time, so I am reporting it here=2E If nobody else gets to it before I do, >I will come back to it=2E > >Thanks! It could pg's fault=2E We have a vcry old vcrsion that is probably complet= ely broken=2E I tried to package a newer version, but being not an emacs us= er it was too hard for me=2E Maybe someone can give it a try (you? :p)