Re: Guixsd 0.15.0 Installation Fail

2018-10-30 Thread Clément Lassieur 
mirror.hydra.gnu.org doesn't work well either, see
https://bugs.gnu.org/33151.  I think your best bet is to only use
https://berlin.guixsd.org.

Thorsten Wilms  writes:

> On 30/10/2018 19.27, Anthony Eslick wrote:
>> When I run "guix system init /mnt/etc/config.scm /mnt" I get a message that
>> infinitely scrolls across the screen
>>
>> substitute: guix substitute: warning: while fetching
>> 'https://mirror.hydra.gnu.org/nix-cache-info': 504 ("Gateway Time-out")
>> substitute: guix substitute: warning: ignoring substitute server at
>> '"https://mirror.hydra.gnu.org;'
>
> Hi!
>
> Assembled from several posts:
>
> hydra.gnu.org is currently down and mirror.hydra.gnu.org is just proxying it.
>
> See https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00434.html
>
>
> Substitute-Server-Authorization:
> As described at
> https://www.gnu.org/software/guix/manual/en/guix.html#Substitute-Server-Authorization
>
> After `guix archive --authorize < berlin.guixsd.org.pub`
> you may run commands with:
> `--substitute-urls="https://berlin.guixsd.org`
>
>
> You may want to add this setting globally and permanently, so you don't have
> to specify it every time you run guix. You can do this by passing the option
> to the guix daemon
>
> - when using GuixSD, modify guix-service in your system configuration, by
> specifying the substitute-urls in the configuration. (see guix-configuration
> in https://www.gnu.org/software/guix/manual/en/html_node/Base-Services.html )
>
>
> Not applicable in your case:
>
> - when using guix on another distribution with systemd, you can modify the the
> ExecStart line in /etc/systemd/system/guix-daemon.service as follows:
>
> ExecStart=/var/guix/profiles/per-user/root/guix-profile/bin/guix-daemon
> --build-users-group=guixbuild "--substitute-urls=https://mirror.hydra.gnu.org
> https://berlin.guixsd.org;;

Re: Guixsd 0.15.0 Installation Fail

2018-10-30 Thread Thorsten Wilms 

On 30/10/2018 19.27, Anthony Eslick wrote:
When I run "guix system init /mnt/etc/config.scm /mnt" I get a message 
that infinitely scrolls across the screen


substitute: guix substitute: warning: while fetching 
'https://mirror.hydra.gnu.org/nix-cache-info': 504 ("Gateway Time-out")
substitute: guix substitute: warning: ignoring substitute server at 
'"https://mirror.hydra.gnu.org;'


Hi!

Assembled from several posts:

hydra.gnu.org is currently down and mirror.hydra.gnu.org is just 
proxying it.


See https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00434.html


Substitute-Server-Authorization:
As described at
https://www.gnu.org/software/guix/manual/en/guix.html#Substitute-Server-Authorization

After `guix archive --authorize < berlin.guixsd.org.pub`
you may run commands with:
`--substitute-urls="https://berlin.guixsd.org`


You may want to add this setting globally and permanently, so you don't 
have to specify it every time you run guix. You can do this by passing 
the option to the guix daemon


- when using GuixSD, modify guix-service in your system configuration, 
by specifying the substitute-urls in the configuration. (see 
guix-configuration in 
https://www.gnu.org/software/guix/manual/en/html_node/Base-Services.html )



Not applicable in your case:

- when using guix on another distribution with systemd, you can modify 
the the ExecStart line in /etc/systemd/system/guix-daemon.service as 
follows:


ExecStart=/var/guix/profiles/per-user/root/guix-profile/bin/guix-daemon 
--build-users-group=guixbuild 
"--substitute-urls=https://mirror.hydra.gnu.org https://berlin.guixsd.org;;



--
Thorsten Wilms

thorwil's design for free software:
http://thorwil.wordpress.com/

Guixsd 0.15.0 Installation Fail

2018-10-30 Thread Anthony Eslick 
When I run "guix system init /mnt/etc/config.scm /mnt" I get a message that
infinitely scrolls across the screen

substitute: guix substitute: warning: while fetching '
https://mirror.hydra.gnu.org/nix-cache-info': 504 ("Gateway Time-out")
substitute: guix substitute: warning: ignoring substitute server at '"
https://mirror.hydra.gnu.org;'

any advice I can get I will take at this point, Thanks.

guix gc fails with foreign key error

2018-10-30 Thread Florian Dold 
Hi all,

"guix gc" currently fails for me on two separate machines, both are
running a recent version of GuixSD:


# guix gc
finding garbage collector roots...
deleting garbage...
guix gc: error: build failed: executing SQLite statement: FOREIGN KEY
constraint failed

# guix --version
guix (GNU Guix) 2f18b7329d9260cbada8cdec081765adfa82a5f4
[...]


The following commands though run through without any errors:

guix gc --verify
guix gc --verify=repair
guix gc --verify=contents

Is there any more info I can provide about this?  I saw some threads
about the same problem in the past, but it seems they got resolved by
just reinstalling the whole system.

I think it's pretty unlikely that this happened due to manual corruption
of the store, since it passes verification, and the problem occurred on
two different machines that were set up around the same time a few
months ago.

- Florian

Re: Choose devices according to linux-libre code

2018-10-30 Thread Gary Johnson 
My laptop is a ThinkPenguin. All of their laptops and desktops are built
specifically to support the linux-libre kernel and not need any
proprietary drivers or firmware. Check them out here:

https://thinkpenguin.com

Happy hacking,
  Gary

help-guix-requ...@gnu.org writes:

> Send Help-Guix mailing list submissions to
>   help-guix@gnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>   https://lists.gnu.org/mailman/listinfo/help-guix
> or, via email, send a message with subject or body 'help' to
>   help-guix-requ...@gnu.org
>
> You can reach the person managing the list at
>   help-guix-ow...@gnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Help-Guix digest..."
>
>
> Today's Topics:
>
>1. Touchpad tap (zna...@tutanota.com)
>2. Choose devices according to linux-libre code (zna...@tutanota.com)
>3. Re: Choose devices according to linux-libre code
>   (zna...@tutanota.com)
>4. Re: Touchpad tap (Pierre Neidhardt)
>5. Re: Guix and Emacs Integration for Polyglot Development
>   (George Clemmer)
>6. Re: Touchpad tap (Luther Thompson)
>7. Re: bug#33189: Touchpad tap (Tobias Geerinckx-Rice)
>
>
> --
>
> Message: 1
> Date: Sun, 28 Oct 2018 19:40:40 +0100 (CET)
> From: 
> To: Help Guix , Bug Guix 
> Subject: Touchpad tap
> Message-ID: 
> Content-Type: text/plain; charset="utf-8"
>
> Hello, Guix Help! I am not able to use tap on my touchpad. Scroll is working, 
> mouse motion is working, left and right buttons are working, but tap and 
> double click are not working on my touchpad.
>
> As described in the Internet need to use 
> /etc/X11/xorg.conf.d/90-synaptics.conf. 
> But GuixSD has own filesystem structure, so there is no /etc/X11.
>
> Here it is configuration file xorg.scm: 
> https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/xorg.scm?id=v0.15.0-2564-g38a2f5eaf#n2564
>  
> 
>
> I assume xorg configurations ought to be done. Please, how to write my 
> config.scm?
> -- next part --
> An HTML attachment was scrubbed...
> URL: 
> 
>
> --
>
> Message: 2
> Date: Sun, 28 Oct 2018 19:45:12 +0100 (CET)
> From: 
> To: Help Guix , Bug Guix 
> Subject: Choose devices according to linux-libre code
> Message-ID: 
> Content-Type: text/plain; charset="utf-8"
>
> Hello, Guix Help!
>
> As I've got here 
> https://lists.gnu.org/archive/html/help-guix/2018-10/msg00083.html 
> 
> some devices cannot work without linux-firmware, requiring non-free software 
> drivers. It is so bad. 
>
> I believe the issue can be solved by choosing devices that have proper 
> support by linux-libre code. So how to do this? Is there any info how to 
> choose devices working nice on linux-libre?
> -- next part --
> An HTML attachment was scrubbed...
> URL: 
> 
>
> --
>
> Message: 3
> Date: Sun, 28 Oct 2018 19:47:24 +0100 (CET)
> From: 
> To: Help Guix 
> Subject: Re: Choose devices according to linux-libre code
> Message-ID: 
> Content-Type: text/plain; charset="utf-8"
>
> I use Lenovo G50-30 
> https://www.lenovo.com/us/en/laptops/lenovo/g-series/g50-30 
> 
>
> But when I will choose new PC it will be interesting to know.
>
> 28. Oct 2018 21:45 by zna...@tutanota.com :
>
>
>> Hello, Guix Help!
>>
>> As I've got here > 
>> https://lists.gnu.org/archive/html/help-guix/2018-10/msg00083.html 
>> 
>> some devices cannot work without linux-firmware, requiring non-free software 
>> drivers. It is so bad. 
>>
>> I believe the issue can be solved by choosing devices that have proper 
>> support by linux-libre code. So how to do this? Is there any info how to 
>> choose devices working nice on linux-libre?
>>
> -- next part --
> An HTML attachment was scrubbed...
> URL: 
> 
>
> --
>
> Message: 4
> Date: Sun, 28 Oct 2018 21:02:27 +0100
> From: Pierre Neidhardt 
> To: zna...@tutanota.com
> Cc: Help Guix , Bug Guix 
> Subject: Re: Touchpad tap
> Message-ID: <87a7mxn8ks@ambrevar.xyz>
> Content-Type: text/plain; charset="us-ascii"
>
> Hi!
>
> Consult the manual, "(guix) X Window".  There is an example near the end:
>
> --8<---cut here---start->8---
>   (define bepo-evdev

Re: bug#33190: Choose devices according to linux-libre code

2018-10-30 Thread swedebugia 

Hi


On 2018-10-28 19:45, zna...@tutanota.com wrote:
As I've got here 
https://lists.gnu.org/archive/html/help-guix/2018-10/msg00083.html
some devices cannot work without linux-firmware, requiring non-free 
software drivers. It is so bad.


I believe the issue can be solved by choosing devices that have proper 
support by linux-libre code. So how to do this? Is there any info how 
to choose devices working nice on linux-libre?

Yes. See https://h-node.org/hardware/catalogue/en

--
---
Swedebugia