Hi John,
On Sun, 24 Jan 2021 at 10:37, John Soo wrote:
> I use Proof General pretty regularly. I think this is the same as
> https://issues.guix.gnu.org/45781.
No, I do not think it is the same issue.
As the Mark’s patch and my previous message [1] in this thread both
shown, I think the packa
Hi zimoun!
I'm sorry I forgot I had this line in init.el:
(load-file "~/.guix-profile/share/emacs/site-lisp/site-start.d/pg-init.el")
It does seem like proof general is misconfigured. Apologies.
- John
Hi Maxim,
Maxim Cournoyer skribis:
> Can you reproduce using the webex test page [0] ? It works for me.
> Although once I had to join a real meeting on it and attempting to share
> my screen would crash the browser, IIRC. I'm using nouveau with an old
> nvidia 8800 GTS card.
>
> Maxim
>
> [0]
Hi Leo,
Leo Famulari skribis:
> On Thu, Jan 21, 2021 at 01:57:46PM +0100, Ludovic Courtès wrote:
>> Could it be that you (1) configured a checkout with the wrong
>> --localstatedir, (2) started guix-daemon from that checkout, and (3) ran
>> ‘guix gc’ or equivalent?
>
> 1) I could have misconfigu
GHC isn't available for aarch64, only i686-linux and x86_64-linux.
(ins)efraim@3900XT ~/workspace/guix$ guix weather ghc --system=aarch64-linux
computing 0 package derivations for aarch64-linux...
looking for 0 store items on https://ci.guix.gnu.org...
https://ci.guix.gnu.org
Backtrace:
Hi,
Ludovic Courtès writes:
> Hi Maxim,
>
> Maxim Cournoyer skribis:
>
>> Can you reproduce using the webex test page [0] ? It works for me.
>> Although once I had to join a real meeting on it and attempting to share
>> my screen would crash the browser, IIRC. I'm using nouveau with an old
>>
On Mon, Jan 25, 2021 at 07:11:33PM +0100, Ludovic Courtès wrote:
> What does ‘grep ^localstatedir config.log’ return?
For my "master" and "staging" worktrees, it returns:
localstatedir='/var'
However, I've since done a full garbage collection and reconfigured, so
it doesn't really prove anything.
Leo Famulari skribis:
> On Mon, Jan 25, 2021 at 07:11:33PM +0100, Ludovic Courtès wrote:
>> What does ‘grep ^localstatedir config.log’ return?
>
> For my "master" and "staging" worktrees, it returns:
> localstatedir='/var'
>
> However, I've since done a full garbage collection and reconfigured, s
Leo Famulari skribis:
> On Mon, Jan 25, 2021 at 07:11:33PM +0100, Ludovic Courtès wrote:
>> What does ‘grep ^localstatedir config.log’ return?
>
> For my "master" and "staging" worktrees, it returns:
> localstatedir='/var'
>
> However, I've since done a full garbage collection and reconfigured, s
On Mon, Jan 25, 2021 at 09:55:09PM +0100, Ludovic Courtès wrote:
> > $ guix gc --list-live
> > finding garbage collector roots...
> > skipping invalid root from
> > `/var/guix/profiles/per-user/root/guix-profile-197-link' to
> > `/gnu/store/1ph7vxq4hhqr1hjkmgin16p1cqx3v904-profile'
>
> That mean
On Sat, 23 Jan 2021 10:10:15 +0100
Ricardo Wurmus wrote:
> raingloom writes:
>
> > Okay, so I figured out that I should use a G-Expression if I want to
> > compute the file, instead of just include it. Still not sure how to
> > store it as Scheme data, but I have an untested idea involving the
raingloom writes:
> On Sat, 23 Jan 2021 10:10:15 +0100
> Ricardo Wurmus wrote:
>
>> raingloom writes:
>>
>> > Okay, so I figured out that I should use a G-Expression if I want to
>> > compute the file, instead of just include it. Still not sure how to
>> > store it as Scheme data, but I have
12 matches
Mail list logo
