I've been carrying the attached commit on my private branch for a while
now. It may be an improvement, but I've forgotten the details. I used
proof-general for a while when I was learning Coq, but have since
removed it because I found it annoying that GNOME Shell misidentified my
normal Emacs as
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 misconfigured a checkout, although it is unlikely.
Hi Dimitri,
Dimitri DELABROYE skribis:
> In order to be more secure we did not want to export /var/guix with RW
> rights, we cannot trust root on the nodes.
Just so those unfamiliar with Grid’5000 understand: what’s special here
is that users can spawn new nodes where they are root, but this ro
tags 45781 notabug
thanks
Hi Ludovic!
Ludovic Courtès writes:
> Hi!
>
> Consider this Emacs:
>
> guix environment -E DISPLAY --expose=/tmp/.X11-unix \
> --ad-hoc -C emacs emacs-geiser emacs-guix guile \
> -- emacs -Q
>
> Things like M-x run-guile (from Geiser) or M-x guix are not acce
Hi,
Mathieu Othacehe skribis:
> The "publish" test has been running for 28 hours on hydra-guix-126. The
> matching process is:
>
> guixbui+ 58019 109 0.2 4052284 465988 ? Rl Jan10 1718:33
> /gnu/store/dxvxl29bb1kzqgb9bz8gfcyag177g9vj-guile-3.0.5/bin/guile
> --no-auto-compile -e main
Hi Leo,
Leo Famulari skribis:
> On Tue, Jan 19, 2021 at 01:56:13PM -0500, Leo Famulari wrote:
>> # realpath ~root/.guix-profile
>> /gnu/store/1ph7vxq4hhqr1hjkmgin16p1cqx3v904-profile
>
> I checked, and this store item is not in the Guix database.
Could it be that you (1) configured a checkout
Hi,
On Thu, 21 Jan 2021 at 12:10, zimoun wrote:
> Let instantiate an environment:
>
> guix environment -C -E TERM \
>--ad-hoc coq proof-general emacs \
>busybox \
>-- emacs -q
>
[...]
> $ ls -aR1 $GUIX_ENVIRONMENT | grep '\.el'
> guix-emacs.el
> guix-emacs.elc
> site
Hi,
Let instantiate an environment:
guix environment -C -E TERM \
--ad-hoc coq proof-general emacs \
busybox \
-- emacs -q
and then “C-h i m“ list ‘Proof General’ and I can read the manual.
However, there is no ELisp about coq-mode or pg stuff. Let ’M-x shell’
and then:
Hi Alex!
Thanks for reaching out to us. :-)
Aleix via web skribis:
> Can you share what other issues might arose after the fix?
>
> I'd be happy to look into it.
There were problems in JSON bindings we had that were not prepared to
handle unspecified values, but that was easily fixed:
htt
Hi!
Ludovic Courtès skribis:
> For the record, I reported the issue here:
>
> https://github.com/aconchillo/guile-json/issues/69
>
> It was promptly fixed and released in 4.5.1, but at first sight this
> version introduces other issues. To be continued…
Updated Guile-JSON in commit 5f7f4e16d
10 matches
Mail list logo
