From mboxrd@z Thu Jan 1 00:00:00 1970 From: Brett Gilio Subject: bug#38433: ProofGeneral and Emacs sharing a profile Date: Fri, 29 Nov 2019 21:38:50 -0600 Message-ID: <87zhget4mt.fsf@posteo.net> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:46134) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iatb5-0008EQ-Nq for bug-guix@gnu.org; Fri, 29 Nov 2019 22:39:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iatb4-0003Vy-JR for bug-guix@gnu.org; Fri, 29 Nov 2019 22:39:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:55963) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iatb4-0003VX-Fc for bug-guix@gnu.org; Fri, 29 Nov 2019 22:39:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iatb4-0006Vn-C2 for bug-guix@gnu.org; Fri, 29 Nov 2019 22:39:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([2001:470:142:3::10]:46104) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iatax-0008E2-Oj for bug-guix@gnu.org; Fri, 29 Nov 2019 22:38:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iatas-0003BW-A4 for bug-guix@gnu.org; Fri, 29 Nov 2019 22:38:53 -0500 Received: from mout02.posteo.de ([185.67.36.66]:46687) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iatar-00037F-8m for bug-guix@gnu.org; Fri, 29 Nov 2019 22:38:49 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 7AF922400E6 for ; Sat, 30 Nov 2019 04:38:47 +0100 (CET) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47PxtZ2TyMz9rxN for ; Sat, 30 Nov 2019 04:38:45 +0100 (CET) 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 There is an issue after the EMACSLOADPATH change that creates a problem when `proof-general` and `emacs` share a profile. 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. --8<---------------cut here---------------start------------->8--- Loading /gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp/ProofGeneral/generic/proof-autoloads...done Loading /gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp/ProofGeneral/generic/proof-autoloads... byte-code: Already loaded --8<---------------cut here---------------end--------------->8--- Loading stops without an error message at this point, failing to complete the initialization process. I can probably figure out this issue, but I am currently drained for time, so I am reporting it here. If nobody else gets to it before I do, I will come back to it. Thanks! -- Brett M. Gilio https://git.sr.ht/~brettgilio/