Re: Drive identifiers

2018-01-18 Thread Danny Milosavljevic
Hi, On Thu, 18 Jan 2018 19:43:54 -0500 myg...@gmail.com wrote: > Here I comment on consequences of having > the SN of a HD in a file held by that HD. IMO this is like having the > directory name in a file held by the directory. Both raise the same > issue: the file is no longer relocatable. > >

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

2018-01-18 Thread George myglc2 Clemmer
On 01/17/2018 at 18:30 Ricardo Wurmus writes: > Hi Guix, > > on the website it starts right away with a list of features: > “Liberating”, “Dependable”, and “Hackable”. But what is this thing > called Guix? > > We should add a very short paragraph above that list to say what Guix > and GuixSD

Overriding PostGIS install directories

2018-01-18 Thread Ben Sturmfels
Hi Folks, I'm attempting to add PostGIS to Guix - a GIS extension for PostgreSQL. The build phase runs ok, but the install phase fails trying to write to the postgresql package: /gnu/store/42d5rjrdkln6nwvzwdc8dyd4w6iy3n5j-coreutils-8.27/bin/mkdir: cannot create directory

Re: Drive identifiers

2018-01-18 Thread myglc2
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 not exactly declarative if the > labels

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

2018-01-18 Thread Fis Trivial
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 my question in mind, thanks. :) > > If any of the substitute servers *can*

Re: Drive identifiers

2018-01-18 Thread myglc2
On 01/18/2018 at 10:29 Danny Milosavljevic writes: >> IIRC the details are: when running on a system disk (say: /dev/sda) and >> installing to new disk (say: /dev/sdb) you must set the bootloader >> target to /dev/sdb so the boot loader will be copied to the new system > ^ >

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

2018-01-18 Thread Tobias Geerinckx-Rice
Leo, Leo Famulari wrote on 18/01/18 at 20:56: > --fallback works when the substitute servers say they have something, > and then the substitution fails unexpectedly. For example, the server > may become overloaded and drop the connection. You are, of course, completely right & I must have been

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

2018-01-18 Thread Leo Famulari
Sorry for the top-posting. I need to clarify what --fallback does. Guix will always build locally if the substitute servers say they lack something Guix needs. --fallback works when the substitute servers say they have something, and then the substitution fails unexpectedly. For example, the

Re: FOSDEM 2018 and announcing a GNU Guix/Guile day!

2018-01-18 Thread Manolis Ragkousis
Hello Carlo, Don't worry I added your name. See you there! Manolis On 01/18/18 20:14, Carlo Zancanaro wrote: > On Tue, Dec 05 2017, Manolis Ragkousis wrote: >> If you are going to attend please add your name to the wiki, or just >> respond to this email, so we can order enough lunches! Of

Re: FOSDEM 2018 and announcing a GNU Guix/Guile day!

2018-01-18 Thread Carlo Zancanaro
On Tue, Dec 05 2017, Manolis Ragkousis wrote: If you are going to attend please add your name to the wiki, or just respond to this email, so we can order enough lunches! Of course everyone is welcome to come whether they register or not! Apparently I can't create an account in order to edit

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

2018-01-18 Thread Tobias Geerinckx-Rice
Hullo, There are quite a few unrelated points mixed together here. I'll try to address all of them, but I'm not entirely sure what your main question is. I hope to answer it by accident. Fis Trivial wrote on 18/01/18 at 16:19: > The network connections to hydra is bad at day time from where I

Re: Installation

2018-01-18 Thread myglc2
On 01/18/2018 at 16:11 Ricardo Wurmus writes: > ng0 writes: > >> Do we have the ability to separate features, like --enable-experimental >> passed >> to configure build Guix with certain features that might break your >> OS? > > That would be too vague to be useful. > >> Otoh >> we

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

2018-01-18 Thread Fis Trivial
The network connections to hydra is bad at day time from where I am, the download speed is about 10kB/s, I can only work with guix at night. And sometimes I use guix --fallback option(like texlive), guix will redirect to the upstream download link. Chances are the upstream has even worse network

Re: Installation

2018-01-18 Thread Ricardo Wurmus
ng0 writes: > Do we have the ability to separate features, like --enable-experimental passed > to configure build Guix with certain features that might break your > OS? That would be too vague to be useful. > Otoh > we already presume that people setting up GuixSD today know

Re: Include Proot-static with binary releases

2018-01-18 Thread Pjotr Prins
On Thu, Jan 18, 2018 at 11:44:03AM +0100, Ludovic Courtès wrote: > Including proot-static makes a lot of sense and easily done (it adds > 3 MiB to the result.) We’d need to document it properly though, > probably with a new section under “Setting Up the Daemon”. We could > mention user

Refactoring in ant-build-system

2018-01-18 Thread Gábor Boskovits
I think the best way to solve the reproducibility issue with ant-bootstrap: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30104 would be to move the strip-jar-timestamps code to java-utils. Then we could use it in the bootsrap stage, as well as in the build system. WDYT?

Re: Installation

2018-01-18 Thread ng0
Ludovic Courtès transcribed 1.5K bytes: > Ricardo Wurmus skribis: > > > Ludovic Courtès writes: > > > >> Gábor Boskovits skribis: > >> > >>> I believe, that we could make a powerful extension to guixsd if we could > >>> do > >>> an

Re: Drive identifiers

2018-01-18 Thread Danny Milosavljevic
Hi Ludo, On Thu, 18 Jan 2018 11:32:11 +0100 l...@gnu.org (Ludovic Courtès) wrote: > Do GRUB, U-Boot, and co. provide a way to refer to drivers by serial > number? Not that I know of. udev (and ID_SERIAL) is a relatively (10 years) recent invention. I don't think there was a generic way to

Re: Include Proot-static with binary releases

2018-01-18 Thread Ludovic Courtès
Hello, YOANN P skribis: > Is there any plan to include "proot-static" with Guix Binary releases ? Good question! > My request is motivated by the fact i'm looking for a way to use/install Guix > only with the bin release on a non-privileged environnement (HPC,

Re: Drive identifiers

2018-01-18 Thread Ludovic Courtès
Danny Milosavljevic skribis: > guix/scripts/system.scm install-bootloader should resolve target, like > > if target doesn't startwith "/dev/" > compare target with ID_SERIAL using udevinfo, return device name > else > as before Do GRUB, U-Boot, and co.

Re: Installation

2018-01-18 Thread Ludovic Courtès
Ricardo Wurmus skribis: > Ludovic Courtès writes: > >> Gábor Boskovits skribis: >> >>> I believe, that we could make a powerful extension to guixsd if we could do >>> an installation from an installation description. >>> >>> I think this

Re: Installation

2018-01-18 Thread Ludovic Courtès
Hi, Gábor Boskovits skribis: > Yes, partitioning information is one of the primary missing point for me. > I don't think that it should be default behaviour either. Another thing that > could be useful is secret provisioning in some form. Makes sense. > I am thinking of

Re: Drive identifiers

2018-01-18 Thread Danny Milosavljevic
Modification would be: guix/scripts/system.scm install-bootloader should resolve target, like if target doesn't startwith "/dev/" compare target with ID_SERIAL using udevinfo, return device name else as before gnu/system/vm.scm qemu-image should resolve target likewise before

Drive identifiers

2018-01-18 Thread Danny Milosavljevic
> IIRC the details are: when running on a system disk (say: /dev/sda) and > installing to new disk (say: /dev/sdb) you must set the bootloader > target to /dev/sdb so the boot loader will be copied to the new system ^ | +--- we could change that to enable