Re: [RFC] A simple draft for channels

2018-01-19 Thread 宋文武
Ricardo Wurmus writes: > Hi Guix, > > I’d like to retire GUIX_PACKAGE_PATH as the main way to get third-party > packages, because we can’t really keep track of packages that were added > or redefined in this way. I want to replace it with slightly more > formal “channels”. Hello, as a way to ge

Logging in with a prebuilt VM

2018-01-19 Thread Matthew Rennekamp
Hello all. I've tried (albeit with little effort) a couple times to install v12 and v14 from the USB images. However, neither times worked, so I'm taking care of school in the meantime. I found out while looking through documentation that ready vm images were made, and I was surprised because th

core-updates: SELinux

2018-01-19 Thread Leo Famulari
On Wed, Jan 17, 2018 at 07:50:28PM -0800, Leo Famulari wrote: > The latest core-updates evaluation is coming together [0], but there are > still a few notable issues: Some of the SELinux packages are also failing to build: https://hydra.gnu.org/build/2414231 I tried updating libsepol to 2.7, and

Re: Overriding PostGIS install directories

2018-01-19 Thread Ben Sturmfels
Hi Ludo, On Fri, 19 Jan 2018, Ludovic Courtès wrote: > However, I’d recommend simply patching ‘configure’ itself in a snippet, > using ‘substitute*’. That way, you won’t have to add these dependencies > and extra phase. Thanks, substitute* is much neater and changing configure directly is worki

Re: Meltdown / Spectre

2018-01-19 Thread Leo Famulari
On Fri, Jan 19, 2018 at 05:06:25PM -0500, Mark H Weaver wrote: > l...@gnu.org (Ludovic Courtès) writes: > > Leo Famulari skribis: > >> Something we can do very easily, even on the master branch, is to build > >> specific packages with GCC 7, assuming the Retpoline technique would be > >> effective

Re: Is it necessary to download the native inputs while installing packages?

2018-01-19 Thread Leo Famulari
On Thu, Jan 18, 2018 at 08:54:32PM +, Fis Trivial wrote: > Sorry about the mess in the original question. > > > > > ‘Installing’ is too ambiguous to answer. > > > > - When *substituting* (installing a binary), native-inputs are not > > required and should never be downloaded. > > This answers

Re: Meltdown / Spectre

2018-01-19 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > Leo Famulari skribis: > >> On Wed, Jan 10, 2018 at 05:39:59AM +0800, Alex Vong wrote: >>> About the "Retpoline" mitigation technique[1]. Right now only GCC 7.2.0 >>> is patched, but our default gcc version is 5.4.0 in master and 5.5.0 in >>> core-updates.

Re: website: say what Guix is at the very top

2018-01-19 Thread myglc2
On 01/19/2018 at 14:32 Ludovic Courtès writes: > Ricardo Wurmus skribis: > >> It seems unfortunate to me that we have one shared website for GuixSD >> and Guix. As much as I love GuixSD, I think Guix is the main “product” >> and GuixSD would need to be moved to a subsite. That’s primarily >> be

Re: Drive identifiers

2018-01-19 Thread Ricardo Wurmus
myg...@gmail.com writes: > On 01/18/2018 at 10:29 Danny Milosavljevic writes: > > [...] > >> Maybe we could make the user specify the serial number in the >> operating-system >> bootloader-configuration. Installing the bootloader to the wrong >> drive would be very bad otherwise. Also, it's no

Re: website: say what Guix is at the very top

2018-01-19 Thread Ricardo Wurmus
Hi Tobias, > I don't know who wrote the current intro, but I think it's pretty good. > Have you got negative feedback from curious visitors? Unfortunately, I have. The most common feedback is an expression of confusion about the difference between GuixSD and Guix. But to be fair: this email wa

Re: Drive identifiers

2018-01-19 Thread Danny Milosavljevic
Even better: Using /dev/disk/by-id , I think this already works now with no user-space changes! (bootloader (grub-configuration (device "/dev/disk/by-id/ata-Samsung_SSD_850_EVO_1TB_S21DNXAGB15171J"))) Reconfiguring as we speak... Yep. Works.

Re: What do Meltdown and Spectre mean for libreboot x200 user?

2018-01-19 Thread Leah Rowe
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 19/01/18 14:26, Leah Rowe wrote: > Hi Andy, > > On 15/01/18 13:25, Andy Wingo wrote: >> Greets, > >> On Mon 15 Jan 2018 12:32, Leah Rowe >> writes: > >>> The implications [of Meltdown/Spectre] at firmware level are >>> non-existent (for ins

Re: What do Meltdown and Spectre mean for libreboot x200 user?

2018-01-19 Thread Leah Rowe
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi Andy, On 15/01/18 13:25, Andy Wingo wrote: > Greets, > > On Mon 15 Jan 2018 12:32, Leah Rowe writes: > >> The implications [of Meltdown/Spectre] at firmware level are >> non-existent (for instance, these attacks can't, to my knowledge, >> be

Re: [RFC] A simple draft for channels

2018-01-19 Thread Pjotr Prins
On Fri, Jan 19, 2018 at 02:41:42PM +0100, Ludovic Courtès wrote: > Authorizing keys is necessarily limited to root since the store is > shared among all users of the machine. I don’t see any way around that Well, the daemon could update itself with its own privileges. How about maintaining authen

Re: [RFC] A simple draft for channels

2018-01-19 Thread Ludovic Courtès
Hi! Ricardo Wurmus skribis: > As a first implementation of channels I’d just like to have a channel > description file that records at least the following things: > > * the channel name (all lower case, no spaces) > * a URL from where package definitions can be loaded (initially, this > can be

Re: website: say what Guix is at the very top

2018-01-19 Thread Ludovic Courtès
Hello, (+ Cc: sirgazil.) Ricardo Wurmus skribis: > It seems unfortunate to me that we have one shared website for GuixSD > and Guix. As much as I love GuixSD, I think Guix is the main “product” > and GuixSD would need to be moved to a subsite. That’s primarily > because GuixSD can be explaine

Re: Overriding PostGIS install directories

2018-01-19 Thread Ludovic Courtès
Hi Ben, Ben Sturmfels skribis: > I'm trying to force configure to use /share instead by patching > configure.ac as attached. The patch seems like it's being applied, as I > can see the change in > /tmp/guix-build-postgis-2.4.2.drv-7/postgis-2.4.2/configure.ac, but it > seems that the correspondi

Re: Is it necessary to download the native inputs while installing packages?

2018-01-19 Thread Ludovic Courtès
Fis Trivial skribis: >> If any of the substitute servers *can* provide a binary, no >> native-inputs will be downloaded at all. >> >> Why are you adding ‘--fallback’? >> > > As you explained, the substituting process failed. This particular issue should now be fixed:

Re: [RFC] A simple draft for channels

2018-01-19 Thread Pjotr Prins
On Fri, Jan 19, 2018 at 09:24:27AM +0100, Ricardo Wurmus wrote: > Hi Guix, > > I’d like to retire GUIX_PACKAGE_PATH as the main way to get third-party > packages, because we can’t really keep track of packages that were added > or redefined in this way. I want to replace it with slightly more > f

Re: Packaging Namazu

2018-01-19 Thread Danny Milosavljevic
Hi Chris, it was surprisingly difficult to get it to work, but here's a newer version. Could you try it out? ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 ng0 ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or

Re: [RFC] A simple draft for channels

2018-01-19 Thread Jelle Licht
2018-01-19 9:24 GMT+01:00 Ricardo Wurmus : > Hi Guix, > > I’d like to retire GUIX_PACKAGE_PATH as the main way to get third-party > packages, because we can’t really keep track of packages that were added > or redefined in this way. I want to replace it with slightly more > formal “channels”. > >

Re: website: say what Guix is at the very top

2018-01-19 Thread Ricardo Wurmus
Hi George, > Our immediate challenge is that we seem to think we have at least two > products. We need to decide if we really have multiple products and, if > we do, how many and what they are. Then we must clearly separate them > and make it easy for potential customers to determine which one th

Re: Drive identifiers

2018-01-19 Thread Danny Milosavljevic
> bug#23072. The bug is sill open. From the bug report: >>> "clocksource: Switched to clocksource tsc" That's a Linux kernel message - so grub is innocent. It loaded the Linux kernel. I recommend mounting the root by UUID, then it will be found. > I would not recommend doing this because f

[RFC] A simple draft for channels

2018-01-19 Thread Ricardo Wurmus
Hi Guix, I’d like to retire GUIX_PACKAGE_PATH as the main way to get third-party packages, because we can’t really keep track of packages that were added or redefined in this way. I want to replace it with slightly more formal “channels”. As a first implementation of channels I’d just like to ha

Packaging Namazu

2018-01-19 Thread Chris Marusich
Hi ng0, Months ago, you submitted this patch for adding dependencies of Namazu: https://lists.gnu.org/archive/html/guix-devel/2016-09/msg01836.html I was hoping to install Namazu. Is there anything you can share? I looked in the Guix source tree, and I couldn't find any trace of namazu.scm. -