Hello,
After installing COQ using:
guix install coq
I was perplexed that I could not find the coqide program.
Howerver, GUIX does seem to build it:
~$ guix build coq
/gnu/store/zns66i9iacpkya3mabvygykir5xwl5c4-coq-8.11.2-ide
/gnu/store/n8g37cv0028wds959rjgpl5dsj3p3xl0-coq-8.11.2
~$
Hi,
raingloom writes:
> On Sun, 14 Mar 2021 20:33:06 -0500
> Nathan Dehnel wrote:
>
>> This is extremely confusing:
>> https://guix.gnu.org/manual/en/html_node/Btrfs-file-system.html
Hello! Trying to explain it was a real challenge. Would you mind
detailing what exactly got you confused? Ho
On Friday, March 19, 2021 10:58 PM, Luis Felipe
wrote:
> ‐‐‐ Original Message ‐‐‐
> On Friday, March 19, 2021 12:52 PM, Joshua Branson jbra...@dismail.de wrote:
>
> > Charles Direg carloshuj...@gmail.com writes:
> >
> > > Hello Ricardo and jbranso, thank you very much for your reply.
> >
‐‐‐ Original Message ‐‐‐
On Friday, March 19, 2021 12:52 PM, Joshua Branson wrote:
> Charles Direg carloshuj...@gmail.com writes:
>
> > Hello Ricardo and jbranso, thank you very much for your reply.
> > I appreciate your comments and will take them into account.
> > Another question, how
Hi, currently for updating package definitions in guix.git, these are
the steps I am following:
(from
https://github.com/pjotrp/guix-notes/blob/master/INSTALL.org#building-gnu-guix-from-source-using-guix---the-bullet-proof-way)
in guix.git
guix pull
guix environment -C guix --ad-hoc bash vim
My previous email to help-guix must have been confusing. I joined this
group only because of a
complete misunderstanding of what "Guix" means. I was really referring to
my computer's graphic user interface (Xwindows, GNOME, etc.). I'm having
trouble remembering lots of new acronyms, so when I re
On Fri, 19 Mar 2021 12:49:09 +
Ekaitz Zarraga wrote:
> Hi!
>
> > I may have ran into something similar, but didn't record the
> > exact error at the time.
> > What guix commit are you on? And are you using drivers from The
> > Forbidden Channel?
>
>
> I've worked on Blender 2.83.9 an
Hello Guixers !
I am adding some `menu-entries` to my bootloader-configuration.
>From `$ info "(guix)Bootloader Configuration"`
‘device’ (default: ‘#f’)
The device where the kernel and initrd are to be found—i.e.,
for GRUB, “root” for this menu entry (*note (grub)root::).
Zelphir Kaltstahl writes:
> Hello Zimoun!
>
> Ah, I think I get it now:
>
> If I for example created a tag for the version of my package and creation of
> the
> tag caused the VCS host to create a tarball as release, I could go the
> url-fetch
> way and then I would use `guix hash` on the tarba
znavko--- via writes:
> Hello! I wish to remove network-manager-applet extension from
> profile-service-type
> which is in the list of extensions of
> xfce-desktop-service-type [1] and [2]
>
> And also I want to see the result.
>
> I try it unsuccessfully like this:
>
> $ guile
>> (use-modules (g
Charles Direg writes:
> Hello Ricardo and jbranso, thank you very much for your reply.
>
> I appreciate your comments and will take them into account.
>
> Another question, how could I change the theme in GNOME? Since in other
> distros, it was simply to put the theme in /usr/share/themes, how co
Hi!
> I may have ran into something similar, but didn't record the exact
> error at the time.
> What guix commit are you on? And are you using drivers from The
> Forbidden Channel?
I've worked on Blender 2.83.9 and Blender 2.91.0 and both had the same issue.
I have to admit that I didn't up
12 matches
Mail list logo
