* bug#38433: ProofGeneral and Emacs sharing a profile
@ 2019-11-30 3:38 Brett Gilio
2019-11-30 7:42 ` Julien Lepiller
2021-11-29 8:57 ` zimoun
0 siblings, 2 replies; 4+ messages in thread
From: Brett Gilio @ 2019-11-30 3:38 UTC (permalink / raw)
To: 38433
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/
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#38433: ProofGeneral and Emacs sharing a profile
2019-11-30 3:38 bug#38433: ProofGeneral and Emacs sharing a profile Brett Gilio
@ 2019-11-30 7:42 ` Julien Lepiller
2019-11-30 22:12 ` Brett Gilio
2021-11-29 8:57 ` zimoun
1 sibling, 1 reply; 4+ messages in thread
From: Julien Lepiller @ 2019-11-30 7:42 UTC (permalink / raw)
To: 38433, brettg
Le 30 novembre 2019 04:38:50 GMT+01:00, Brett Gilio <brettg@posteo.net> a écrit :
>
>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!
It could pg's fault. We have a vcry old vcrsion that is probably completely broken. I tried to package a newer version, but being not an emacs user it was too hard for me. Maybe someone can give it a try (you? :p)
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#38433: ProofGeneral and Emacs sharing a profile
2019-11-30 7:42 ` Julien Lepiller
@ 2019-11-30 22:12 ` Brett Gilio
0 siblings, 0 replies; 4+ messages in thread
From: Brett Gilio @ 2019-11-30 22:12 UTC (permalink / raw)
To: Julien Lepiller; +Cc: 38433
Julien Lepiller <julien@lepiller.eu> writes:
> It could pg's fault. We have a vcry old vcrsion that is probably
> completely broken. I tried to package a newer version, but being not
> an emacs user it was too hard for me. Maybe someone can give it a try
> (you? :p)
I have began working updating the package. :)
A lot of things have changed between the current version in Guix, and
the latest upstream. So I want to be thorough. Will update on the status
and send a patch soon.
--
Brett M. Gilio
https://git.sr.ht/~brettgilio/
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#38433: ProofGeneral and Emacs sharing a profile
2019-11-30 3:38 bug#38433: ProofGeneral and Emacs sharing a profile Brett Gilio
2019-11-30 7:42 ` Julien Lepiller
@ 2021-11-29 8:57 ` zimoun
1 sibling, 0 replies; 4+ messages in thread
From: zimoun @ 2021-11-29 8:57 UTC (permalink / raw)
To: Brett Gilio; +Cc: 38433-done
Hi,
On Fri, 29 Nov 2019 at 21:38, Brett Gilio <brettg@posteo.net> wrote:
> 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:
>
> $ guix environment --ad-hoc proof-general emacs
>
>
> When you launch the client of either of these after spinning up the
> environment, you are prompted with this from the *Messages* buffer.
>
> 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
>
> Loading stops without an error message at this point, failing to
> complete the initialization process.
Commit cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8 fixes this issue. The
command,
guix shell -C emacs proof-general -E TERM \
-- emacs foo.v
leads to this ’*Messages*’:
--8<---------------cut here---------------start------------->8---
Loading /gnu/store/wbr97j47i3z6m19gycm6ryb6k0xdlg3i-proof-general-4.4-0.bc86736\
/share/emacs/site-lisp/ProofGeneral/proof-general-autoloads.el (source)...done
For information about GNU Emacs and the GNU system, type C-h C-a.
(New file)
Coq project file not detected.
--8<---------------cut here---------------end--------------->8---
Therefore, closing.
Feel free to reopen if I miss something or misunderstand your report.
Cheers,
simon
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2021-11-29 8:59 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-30 3:38 bug#38433: ProofGeneral and Emacs sharing a profile Brett Gilio
2019-11-30 7:42 ` Julien Lepiller
2019-11-30 22:12 ` Brett Gilio
2021-11-29 8:57 ` zimoun
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).