Re: Public key missing for Guix installation script?

[Efraim Flashner]

On Wed, Feb 13, 2019 at 09:02:46PM -0800, evan.stra...@gmail.com wrote:
> Hello,
> Tried to post this once before but it got rejected from the mailing
> list for some reason.
> I'm trying to install GNU Guix using the installation script
> (https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh)
> .
> 
> Early on, there is a GPG verification step that fails due to a missing
> PGP key. The script tells me:
> [1550113585.102]: Starting installation (Wed Feb 13 19:06:25 PST 2019)
> [1550113585.106]: [ PASS ] verification of required commands completed
> [1550113585.113]: [ FAIL ] Missing OpenPGP public key.  Fetch it with
> this command:
>   gpg --keyserver pool.sks-keyservers.net --recv-keys
> 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
> 
> However, upon running that gpg command, I receive the following error
> message:
> "gpg: keyserver receive failed: No data"
> 
> It appears this key is missing from the key server. Additionally, I've
> been searching all around other key servers for this key and I can't
> find anything.
> Not sure what to do about this. Is there a place I can find this key,
> or is it safe to just comment out the verification step in the
> installation script for now?
> 
> Thanks,
> - Evan
> 

I come across this occasionally, so in my scripts I've changed it to:
until gpg --recv-keys 3CE464558A84FDC69DB40CFB090B11993D9AEBB5; do echo "trying 
again..."; done

The key is also available at http://www.fdn.fr/~lcourtes/ludovic.asc

-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature

Re: Public key missing for Guix installation script?

[Giovanni Biscuolo]

Hello Evan,

please consider that help-g...@gnu.org is more appropriate for this kind
of questions :-)

evan.stra...@gmail.com writes:

[...]

> this command:
>   gpg --keyserver pool.sks-keyservers.net --recv-keys
> 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
>
> However, upon running that gpg command, I receive the following error
> message:
> "gpg: keyserver receive failed: No data"

once it happened to me too: I tried a second time and I was able to
import the key

unfortunately it seems that the keyserver network is someway abused; see
https://dev.gnupg.org/T4163 for details

AFAIU there is nothing Guix devels can do about this, just be patient
about this keyserver issue ;-)

HTH!
Giovanni

[...]

-- 
Giovanni Biscuolo

Xelera IT Infrastructures


signature.asc
Description: PGP signature

Public key missing for Guix installation script?

[evan . straw99]

Hello,
Tried to post this once before but it got rejected from the mailing
list for some reason.
I'm trying to install GNU Guix using the installation script
(https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh)
.

Early on, there is a GPG verification step that fails due to a missing
PGP key. The script tells me:
[1550113585.102]: Starting installation (Wed Feb 13 19:06:25 PST 2019)
[1550113585.106]: [ PASS ] verification of required commands completed
[1550113585.113]: [ FAIL ] Missing OpenPGP public key.  Fetch it with
this command:
  gpg --keyserver pool.sks-keyservers.net --recv-keys
3CE464558A84FDC69DB40CFB090B11993D9AEBB5

However, upon running that gpg command, I receive the following error
message:
"gpg: keyserver receive failed: No data"

It appears this key is missing from the key server. Additionally, I've
been searching all around other key servers for this key and I can't
find anything.
Not sure what to do about this. Is there a place I can find this key,
or is it safe to just comment out the verification step in the
installation script for now?

Thanks,
- Evan

Re: bug#30728: Modification for guix installation script.

[Clément Lassieur]

Hi Tatiana,

Tatiana Sholokhova  writes:

> Hello!
>
>
> Could you please make that change on top of the current version of the
> Guix sources as a git commit? Then you can run “git format-patch -1” to
> format it as a patch in a format that we can apply. You can send the
> resulting patch file as an attachment to a reply to this email.
> This also fixes bug #30728, so please add this line to the commit
> message:
> --
> Ricardo
>
>
> I have attached the patch file to this email. This patch fixes the 
> installation
> process but it placeguixwithin root's directory.
>
>
> I personally prefer that the Guix daemon points to my home directory
> because I don't want to update root's profile. Some other people might
> prefer that it points to ~root because they might later delete their
> profile and want Guix to keep working.
>
>
> Do we have to take a decision here? Can't we just let the user decide
> by letting them customize their environment variables? I think it is
> the point of environment variables: giving freedom to users.
>
>
> We can further work on the script's flexibility using the environment variable
> solution.

Thank you for your patch.  The one Chris did has been pushed, but if you
want, you can still work on improving the script's flexibility.  I still
haven't seen any valid argument for or against it, though, so I don't
know if it's a good idea.  Maybe we can wait until someone says
something about it!

Clément

Re: Modification for guix installation script.

[Clément Lassieur]

Gábor Boskovits  writes:

> 2018-03-26 11:11 GMT+02:00 Ricardo Wurmus :
>
>>
>> Hi Clément,
>>
>> > As I said to Chris (Cc'ed), I don't think it's a good idea to install
>> > Guix in root's home directory.  Instead, we should probably honor the
>> > USER and HOME environment variables, so that the command can be run as a
>> > non-root user (with sudo) in a consistent way.  What do you think?
>>
>> The script should be run as root as it follows the manual’s
>> instructions, which tell people to install Guix for the root user and
>> then make it available system-wide.
>>
>> This is why I think that it would be correct to install it to the root’s
>> home directory and not to the sudoing user’s HOME.
>>
>> Or am I missing something?
>>
>>
> I think Ricardo is right on this one. I would also recommend installing in
> root's home directory.

But you don't explain why.  And "as it follows the manual's
instructions" isn't a good reason to me.

> I believe, that installing in a user home would make sense only with a
> big amount of additional instrumentation and documentation changes,
> along with arrangements to allow guix in userspace.

I think it would be fairly easy.  The kind of edit we do all the time
when patches are being reviewed.

Re: Modification for guix installation script.

[Gábor Boskovits]

2018-03-26 11:11 GMT+02:00 Ricardo Wurmus :

>
> Hi Clément,
>
> > As I said to Chris (Cc'ed), I don't think it's a good idea to install
> > Guix in root's home directory.  Instead, we should probably honor the
> > USER and HOME environment variables, so that the command can be run as a
> > non-root user (with sudo) in a consistent way.  What do you think?
>
> The script should be run as root as it follows the manual’s
> instructions, which tell people to install Guix for the root user and
> then make it available system-wide.
>
> This is why I think that it would be correct to install it to the root’s
> home directory and not to the sudoing user’s HOME.
>
> Or am I missing something?
>
>
I think Ricardo is right on this one. I would also recommend installing in
root's home directory. Ibelieve, that installing in a user home would make
sense only with a big amount of additional instrumentation and
documentation changes, along with arrangements to allow guix in
userspace. This is a straightforward way to make the script do what it's
purpose is.


> --
> Ricardo
>
> GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
> https://elephly.net
>
>
>
>

Re: bug#30728: Modification for guix installation script.

[Tatiana Sholokhova]

Hello!

Could you please make that change on top of the current version of the
> Guix sources as a git commit?  Then you can run “git format-patch -1” to
> format it as a patch in a format that we can apply.  You can send the
> resulting patch file as an attachment to a reply to this email.
> This also fixes bug #30728, so please add this line to the commit
> message:
> --
> Ricardo


I have attached the patch file to this email. This patch fixes the
installation process but it place guix within root's directory.

I personally prefer that the Guix daemon points to my home directory
> because I don't want to update root's profile.  Some other people might
> prefer that it points to ~root because they might later delete their
> profile and want Guix to keep working.


> Do we have to take a decision here?  Can't we just let the user decide
> by letting them customize their environment variables?  I think it is
> the point of environment variables: giving freedom to users.


We can further work on the script's flexibility using the environment
variable solution.

--
Tatiana
From f286b6e9c60cba54f3da68428fc034d272ba5ffc Mon Sep 17 00:00:00 2001
From: tsholokhova 
Date: Mon, 26 Mar 2018 18:59:40 +0300
Subject: [PATCH] Fixes 

---
 etc/guix-install.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index 933492a33..b4a9cdf94 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -263,10 +263,9 @@ sys_create_store()
 fi
 
 _msg "${INF}Linking the root user's profile"
-ln -sf /var/guix/profiles/per-user/root/guix-profile \
-   ~root/.guix-profile
+ln -sf /var/guix/profiles/per-user/root/guix-profile /root/.guix-profile
 
-GUIX_PROFILE="${HOME}/.guix-profile"
+GUIX_PROFILE="/root/.guix-profile"
 source "${GUIX_PROFILE}/etc/profile"
 _msg "${PAS}activated root profile at /root/.guix-profile"
 }
-- 
2.14.1

Re: bug#30728: Modification for guix installation script.

[Clément Lassieur]

Hi Ricardo and Marius,

Marius Bakke  writes:

> The binary installation tarball only comes with a profile for 'root'.

Indeed, but it's easy to copy it for any user isn't it?

> The problem is that the installation script assumes $HOME will expand to
> ~root when sourcing the profile, but as you found that isn't always the
> case.
> 
> ~root/.guix-profile is "hard-coded" many other places in the script, so
> Tatianas solution seems sensible to me.

Ricardo Wurmus  writes:

> Hi Clément,
>
>> As I said to Chris (Cc'ed), I don't think it's a good idea to install
>> Guix in root's home directory.  Instead, we should probably honor the
>> USER and HOME environment variables, so that the command can be run as a
>> non-root user (with sudo) in a consistent way.  What do you think?
>
> The script should be run as root as it follows the manual’s
> instructions, which tell people to install Guix for the root user and
> then make it available system-wide.
>
> This is why I think that it would be correct to install it to the root’s
> home directory and not to the sudoing user’s HOME.
>
> Or am I missing something?

Thank you both for your comments. :-)

What I dislike with the present state of things is the need for Guix to
be installed within root's directory.  For two reasons :

  1. I don't think a command should ever install something in another
 user's home directory.  The home directory of a user is for things
 that are specific to that user, I believe.

  2. Users need to update the root profile if they want to update the
 Guix daemon, which is cumbersome.

The systemd configuration file must know where to find the Guix daemon.
If it's not in ~root, it must be in the user's home directory.  Either
way, the Guix daemon, which is system-wide, still depends on a user.

(A way to make the daemon user-independant would be to add a new command
that would update, say, /var/guix/guix-daemon, with the systemd
configuration file pointing to it.)

I personally prefer that the Guix daemon points to my home directory
because I don't want to update root's profile.  Some other people might
prefer that it points to ~root because they might later delete their
profile and want Guix to keep working.

Do we have to take a decision here?  Can't we just let the user decide
by letting them customize their environment variables?  I think it is
the point of environment variables: giving freedom to users.

Re: Modification for guix installation script.

[Ricardo Wurmus]

Hi Clément,

> As I said to Chris (Cc'ed), I don't think it's a good idea to install
> Guix in root's home directory.  Instead, we should probably honor the
> USER and HOME environment variables, so that the command can be run as a
> non-root user (with sudo) in a consistent way.  What do you think?

The script should be run as root as it follows the manual’s
instructions, which tell people to install Guix for the root user and
then make it available system-wide.

This is why I think that it would be correct to install it to the root’s
home directory and not to the sudoing user’s HOME.

Or am I missing something?

-- 
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

Re: Modification for guix installation script.

[Clément Lassieur]

Hi Tatiana,

Tatiana Sholokhova  writes:

> Hello! My name is Tatiana.
>
> I have installed guix for the first time and noticed that the installation
> script at
> https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not
> work for me. So, I had to make some modifications.
>
> There was a problem with the path to root user home directory. Below I
> provide diff output for original script and my modified script.

Thank you for working on this!

> 266c266,267
> < ln -sf /var/guix/profiles/per-user/root/guix-profile
> /root/.guix-profile
> ---
>> ln -sf /var/guix/profiles/per-user/root/guix-profile \
>>~root/.guix-profile
> 268c269
> < GUIX_PROFILE="/root/.guix-profile"
> ---
>> GUIX_PROFILE="${HOME}/.guix-profile"
>
> These changes allowed me to install guix via the script.

As I said to Chris (Cc'ed), I don't think it's a good idea to install
Guix in root's home directory.  Instead, we should probably honor the
USER and HOME environment variables, so that the command can be run as a
non-root user (with sudo) in a consistent way.  What do you think?

You can follow the discussion there:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30728.  Every email sent
to 30...@debbugs.gnu.org will appear there.

Clément

Re: Modification for guix installation script.

[Mark H Weaver]

Ricardo Wurmus  writes:

>> I have installed guix for the first time and noticed that the installation
>> script at
>> https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not
>> work for me. So, I had to make some modifications.
>>
>> There was a problem with the path to root user home directory. Below I
>> provide diff output for original script and my modified script.
>
> Thank you.
>
> Could you please make that change on top of the current version of the
> Guix sources as a git commit?  Then you can run “git format-patch -1” to
> format it as a patch in a format that we can apply.  You can send the
> resulting patch file as an attachment to a reply to this email.
>
> This also fixes bug #30728, so please add this line to the commit
> message:
>
> Fixes .

Note that there's also another proposed patch for this same issue, here:

https://bugs.gnu.org/30728#11

Regards,
  Mark

Re: Modification for guix installation script.

[Ricardo Wurmus]

Hi Tatiana,

> I have installed guix for the first time and noticed that the installation
> script at
> https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not
> work for me. So, I had to make some modifications.
>
> There was a problem with the path to root user home directory. Below I
> provide diff output for original script and my modified script.

Thank you.

Could you please make that change on top of the current version of the
Guix sources as a git commit?  Then you can run “git format-patch -1” to
format it as a patch in a format that we can apply.  You can send the
resulting patch file as an attachment to a reply to this email.

This also fixes bug #30728, so please add this line to the commit
message:

Fixes .


--
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

RE: Modification for guix installation script.

[Tatiana Sholokhova]

Ubuntu 17.10
--
Tatiana Sholokhova

От: Vincent Legoll
Отправлено: 24 марта 2018 г. в 17:05
Кому: Tatiana Sholokhova
Копия: guix-devel
Тема: Re: Modification for guix installation script.

On Sat, Mar 24, 2018 at 6:00 PM, Tatiana Sholokhova
<tanja201...@gmail.com> wrote:
> I just sent diff between my modified script and original script. (So, my
> version of the script goes first in the diff output). I had to replace
> ${HOME} and ~root with /root since there supposed to be the root user home
> directory path.

OK, so you have a reversed patch, so my remark was misplaced.

What is the OS you're installing guix on ?

-- 
Vincent Legoll

Re: Modification for guix installation script.

[Vincent Legoll]

Hello,

> 266c266,267
> < ln -sf /var/guix/profiles/per-user/root/guix-profile
> /root/.guix-profile
> ---
>> ln -sf /var/guix/profiles/per-user/root/guix-profile \
>>~root/.guix-profile
> 268c269
> < GUIX_PROFILE="/root/.guix-profile"
> ---
>> GUIX_PROFILE="${HOME}/.guix-profile"
>
> These changes allowed me to install guix via the script.

Why didn't you also use ${HOME} in the "ln" case ? (or "~/" in
the two cases...)

-- 
Vincent Legoll

Re: Modification for guix installation script.

[Tatiana Sholokhova]

I just sent diff between my modified script and original script. (So, my
version of the script goes first in the diff output). I had to replace ${HOME}
and ~root with /root since there supposed to be the root user home
directory path.

2018-03-24 19:46 GMT+03:00 Vincent Legoll :

> Hello,
>
> > 266c266,267
> > < ln -sf /var/guix/profiles/per-user/root/guix-profile
> > /root/.guix-profile
> > ---
> >> ln -sf /var/guix/profiles/per-user/root/guix-profile \
> >>~root/.guix-profile
> > 268c269
> > < GUIX_PROFILE="/root/.guix-profile"
> > ---
> >> GUIX_PROFILE="${HOME}/.guix-profile"
> >
> > These changes allowed me to install guix via the script.
>
> Why didn't you also use ${HOME} in the "ln" case ? (or "~/" in
> the two cases...)
>
> --
> Vincent Legoll
>

Re: Modification for guix installation script.

[Vincent Legoll]

On Sat, Mar 24, 2018 at 6:00 PM, Tatiana Sholokhova
 wrote:
> I just sent diff between my modified script and original script. (So, my
> version of the script goes first in the diff output). I had to replace
> ${HOME} and ~root with /root since there supposed to be the root user home
> directory path.

OK, so you have a reversed patch, so my remark was misplaced.

What is the OS you're installing guix on ?

-- 
Vincent Legoll

Modification for guix installation script.

[Tatiana Sholokhova]

Hello! My name is Tatiana.

I have installed guix for the first time and noticed that the installation
script at
https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not
work for me. So, I had to make some modifications.

There was a problem with the path to root user home directory. Below I
provide diff output for original script and my modified script.

266c266,267
< ln -sf /var/guix/profiles/per-user/root/guix-profile
/root/.guix-profile
---
> ln -sf /var/guix/profiles/per-user/root/guix-profile \
>~root/.guix-profile
268c269
< GUIX_PROFILE="/root/.guix-profile"
---
> GUIX_PROFILE="${HOME}/.guix-profile"

These changes allowed me to install guix via the script.

P. S.
I am really a newcomer to the guix community. And still not sure how
everything works here. Sorry If my post's format is not appropriate.

--
Tatiana Sholokhova

Re: Guix - installation script

[Ludovic Courtès]

Hi,

Hellseher  skribis:

> I've changed a structure of my repo (did not push it to official Guix
> one yet)
>
> https://github.com/Hellseher/wds/blob/master/wds-hacks/wds-guix-install.sh

For the record this is now available upstream:

  https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh

Thank you!

Ludo’.

Re: Guix - installation script

[Hellseher]

Hi, all


I've changed a structure of my repo (did not push it to official Guix 
one yet)


https://github.com/Hellseher/wds/blob/master/wds-hacks/wds-guix-install.sh

Regards,

Oleg


On 28/01/18 18:00, Ricardo Wurmus wrote:

Catonano  writes:


what did happen with this ?

Was there any progress ?

The script has since disappeared from the repository, but I took a
previous version and am now in the process of extending it and making it
ready for inclusion in Guix.

--
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

Re: Guix - installation script

[Catonano]

2018-01-28 19:00 GMT+01:00 Ricardo Wurmus :

>
> Catonano  writes:
>
> > what did happen with this ?
> >
> > Was there any progress ?
>
> The script has since disappeared from the repository, but I took a
> previous version and am now in the process of extending it and making it
> ready for inclusion in Guix.
>
> --
> Ricardo
>
> GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
> https://elephly.net
>
>
thank you Ricardo

I appreciate that

In these days I have to attend something else so I can't be as present as
I'd like to be.

Re: Guix - installation script

[Ricardo Wurmus]

Catonano  writes:

> what did happen with this ?
>
> Was there any progress ?

The script has since disappeared from the repository, but I took a
previous version and am now in the process of extending it and making it
ready for inclusion in Guix.

--
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

Re: Guix - installation script

[myglc2]

On 10/02/2017 at 09:15 Pjotr Prins writes:

> A script that would install the binary install package of Guix would
> be very useful. It should unpack the tarball into /gnu/store and
> /var/guix (checking nothing is there), set the keys and (optionally)
> the build users. Ideally we should have:
>
>wget install.sh
>sudo sh install.sh
>  - fetchin' guix...
>  - unpacking guix...
>  - installing guix...
>  - fetching keys...
>  - set build users...
>  - running guix pull...
>guix package -i hello
>(binary installs...)
>
> They keys of main substitute servers should just work.
>
> I just went through helping someone install Guix remotely and it is
> *too* painful. He is an experienced devop(!) It took hours, mostly
> because he forgot to set the keys correctly (Guix gives no proper
> feedback).
[...]

I don't see how we can recommend Guix with a clear conscience if we
don't automate these tedious steps, at least for a few popular
distributions.

FWIW, the last time I grappled with a binary install (guix-0.9.0 in Mar
2016 on Debian), I found a makefile to be the most handy way to automate
install/uninstall. I'm not posting it because it doesn't work w/ Guix
0.15.0, but happy to provide to anyone interested. - George

Re: Guix - installation script

[Catonano]

what did happen with this ?

Was there any progress ?

Re: Guix - installation script

[Pjotr Prins]

A script that would install the binary install package of Guix would
be very useful. It should unpack the tarball into /gnu/store and
/var/guix (checking nothing is there), set the keys and (optionally)
the build users. Ideally we should have:

   wget install.sh
   sudo sh install.sh
 - fetchin' guix...
 - unpacking guix...
 - installing guix...
 - fetching keys...
 - set build users...
 - running guix pull...
   guix package -i hello
   (binary installs...)

They keys of main substitute servers should just work.

I just went through helping someone install Guix remotely and it is
*too* painful. He is an experienced devop(!) It took hours, mostly
because he forgot to set the keys correctly (Guix gives no proper
feedback). 

With immediate gratification people can install software - including
mine - and get into Guix itself later. 

Nix used to have such an installer - it was quite good. It even had
the one-click installer.

The install.sh file can actually include the tarball - as one
download.

Pj.

Re: Guix - installation script

[Christopher Baines]

On Thu, 7 Sep 2017 19:11:58 +0100
Hellseher  wrote:

> Hi,
> 
> Sorry for delayed replay, it's busy time at work/home.

No problem :)

> I'll check and fix it as soon as possibly, but you always can pull 
> request it on a GitHub.
> 
> You also mentioned to send it to guix-devel@gnu.org, which format do
> you prefer?

A patch produced by Git. There are a few ways of doing this, e.g. `git
format-patch`, or `git send-email`.

What I'd recommend is cloning the guix repository, putting the install
script in to the scripts/ directory (this might not be the best place,
but its a good start), and then commiting. You should then be able to
run `git format-patch HEAD^`, which will generate a file you can send
to the list.


pgp6mRRxhGm1i.pgp
Description: OpenPGP digital signature

Re: Guix - installation script

[Christopher Baines]

On Sun, 27 Aug 2017 23:36:17 +0100
Christopher Baines  wrote:

> On Sat, 26 Aug 2017 21:51:12 +0100
> Hellseher  wrote:
> 
> > Hi,
> > 
> > That's great, thank you!
> > 
> > I'll go through all suggestions and make required changes as soon
> > as possible.
> > 
> > Do you want to move that script to separate stand along repository
> > to make it easy for other to review it?  
> 
> What might work well is for you to send the whole script to guix-devel
> in an email. Then people can read through and review it.
> 
> I'll try to make some time to review and test this in the coming week.

I've tried running this in a Debian VM, and I've nearly managed to get
Guix installed.

From my experience, I've got some suggestions for the script.

Firstly, I see this as installing GNU Guix, not GuixSD, as I understand
GuixSD to be an operating system, and this script won't install an OS,
just Guix within your existing operating system.

For the ascii art, I tweaked it by removing the SD, and adding some
separation between the i and x to make it more readable.
   _ _   _ __ _   _
  / | \ | | |  | |   / | (_)
 | |  __|  \| | |  | |  | |  __ _   _ _ __  __
 | | |_ | . ` | |  | |  | | |_ | | | | |\ \/ /
 | |__| | |\  | |__| |  | |__| | |_| | | >  <
  \_|_| \_|\/\_|\__,_|_|/_/\_\


Just requiring one of curl and wget would be good, either by removing
the need to use curl (it wasn't on the Debian system I was testing
with), or making it possible to use either would work.

I think the requirement on which could be removed by using the bash
builtin type.

Also, for checking dependencies, currently when it fails, the entire
script stops as command exits with a status of 1. Something like this
would work though:

   if ! command -v "$c" &>/dev/null; then
   warn+=("$c")
   fi

I think running guix package -i at the end might be a bit too much.
Maybe it would be better to suggest running a less permanent command,
e.g. guix environment --ad-hoc hello -- hello, and directing them to
IRC or the mailing list if they have problems?

Thanks again for writing this :)


pgpFbwFshY2D_.pgp
Description: OpenPGP digital signature

Re: Guix - installation script

[Christopher Baines]

On Sat, 26 Aug 2017 21:51:12 +0100
Hellseher  wrote:

> Hi,
> 
> That's great, thank you!
> 
> I'll go through all suggestions and make required changes as soon as 
> possible.
> 
> Do you want to move that script to separate stand along repository to 
> make it easy for other to review it?

What might work well is for you to send the whole script to guix-devel
in an email. Then people can read through and review it.

I'll try to make some time to review and test this in the coming week.


pgpyyJ3XbtIrF.pgp
Description: OpenPGP digital signature

Re: Guix - installation script

[Hellseher]

Hi,

That's great, thank you!

I'll go through all suggestions and make required changes as soon as 
possible.


Do you want to move that script to separate stand along repository to 
make it easy for other to review it?



Regards,

Sharlatan


On 26/08/17 13:57, Ludovic Courtès wrote:

Hello!

Christopher Baines  skribis:


On Mon, 31 Jul 2017 23:49:50 +0100
Sharlatan Hellseher  wrote:


I've found your project very interesting. I've played with
installation instruction but it has a lot of different steps, for
convenience purpose I've wrote installation script which goes through
all points of your guide.

As far as I could say, there is no any official installation script
for Guix on existing OS. I would like take an opportunity to maintain
this process.

If you could review it (Github) and give me some feedback I would be
appreciated.

https://github.com/Hellseher/wds/blob/master/wds-guix-install.sh

I haven't tried this yet, but it looks awesome!

while I don't speak from the official maintainers, I'd be interested in
seeing this being a part of Guix itself, which in my mind
would enable things like distributing it as an installation
method, and prominently mentioning it in the documentation. Would you
(as the author) be ok with this?

This looks useful indeed!  Perhaps what we could do is ship it along
with Guix, mention it in the “Binary Installation” section, and yet keep
the text of the instructions in that section, so that users have the
choice of using the script (and understanding what it does), or
following the instructions.

Thoughts?

Ludo’.

Re: Guix - installation script

[Ludovic Courtès]

Hello!

Christopher Baines  skribis:

> On Mon, 31 Jul 2017 23:49:50 +0100
> Sharlatan Hellseher  wrote:
>
>> I've found your project very interesting. I've played with
>> installation instruction but it has a lot of different steps, for
>> convenience purpose I've wrote installation script which goes through
>> all points of your guide.
>> 
>> As far as I could say, there is no any official installation script
>> for Guix on existing OS. I would like take an opportunity to maintain
>> this process.
>> 
>> If you could review it (Github) and give me some feedback I would be
>> appreciated.
>> 
>> https://github.com/Hellseher/wds/blob/master/wds-guix-install.sh
>
> I haven't tried this yet, but it looks awesome!
>
> while I don't speak from the official maintainers, I'd be interested in
> seeing this being a part of Guix itself, which in my mind
> would enable things like distributing it as an installation
> method, and prominently mentioning it in the documentation. Would you
> (as the author) be ok with this?

This looks useful indeed!  Perhaps what we could do is ship it along
with Guix, mention it in the “Binary Installation” section, and yet keep
the text of the instructions in that section, so that users have the
choice of using the script (and understanding what it does), or
following the instructions.

Thoughts?

Ludo’.

Re: Guix - installation script

[Christopher Baines]

On Mon, 31 Jul 2017 23:49:50 +0100
Sharlatan Hellseher  wrote:

> I've found your project very interesting. I've played with
> installation instruction but it has a lot of different steps, for
> convenience purpose I've wrote installation script which goes through
> all points of your guide.
> 
> As far as I could say, there is no any official installation script
> for Guix on existing OS. I would like take an opportunity to maintain
> this process.
> 
> If you could review it (Github) and give me some feedback I would be
> appreciated.
> 
> https://github.com/Hellseher/wds/blob/master/wds-guix-install.sh

I haven't tried this yet, but it looks awesome!

while I don't speak from the official maintainers, I'd be interested in
seeing this being a part of Guix itself, which in my mind
would enable things like distributing it as an installation
method, and prominently mentioning it in the documentation. Would you
(as the author) be ok with this?


pgpaap3uatb4Z.pgp
Description: OpenPGP digital signature

Re: Guix - installation script

[Sharlatan Hellseher]

Hi,

Thank you for feedback, I'll fix it on free time.

br,
sh

On 1 Aug 2017 11:55, "ng0"  wrote:

> Sharlatan Hellseher transcribed 5.6K bytes:
> > Hi,
> >
> > I've found your project very interesting. I've played with installation
> > instruction but it has a lot of different steps, for convenience purpose
> > I've wrote installation script which goes through all points of your
> guide.
> >
> > As far as I could say, there is no any official installation script for
> > Guix on existing OS. I would like take an opportunity to maintain this
> > process.
> >
> > If you could review it (Github) and give me some feedback I would be
> > appreciated.
> >
> > https://github.com/Hellseher/wds/blob/master/wds-guix-install.sh
> >
> > Best regards,
> > Oleg
>
> I don't mind very much if something like this exists or doesn't,
> but I have some short comments on it:
>
> Line 51: FTP_URL="ftp://alpha.gnu.org/gnu/guix/;
>   I'd change to using https instead of ftp.
>   https://alpha.gnu.org/gnu/guix/
>
>
> I think you are confusing terms in the script.
> Guix is not GuixSD. If you install this on top
> of another operating system you are installing "Guix".
> --
> ng0
> GnuPG: A88C8ADD129828D7EAC02E52E22F9BBFEE348588
> GnuPG: https://n0is.noblogs.org/my-keys
> https://www.infotropique.org https://krosos.org
>

Re: Guix - installation script

[ng0]

Sharlatan Hellseher transcribed 5.6K bytes:
> Hi,
> 
> I've found your project very interesting. I've played with installation
> instruction but it has a lot of different steps, for convenience purpose
> I've wrote installation script which goes through all points of your guide.
> 
> As far as I could say, there is no any official installation script for
> Guix on existing OS. I would like take an opportunity to maintain this
> process.
> 
> If you could review it (Github) and give me some feedback I would be
> appreciated.
> 
> https://github.com/Hellseher/wds/blob/master/wds-guix-install.sh
> 
> Best regards,
> Oleg

I don't mind very much if something like this exists or doesn't,
but I have some short comments on it:

Line 51: FTP_URL="ftp://alpha.gnu.org/gnu/guix/;
  I'd change to using https instead of ftp.
  https://alpha.gnu.org/gnu/guix/


I think you are confusing terms in the script.
Guix is not GuixSD. If you install this on top
of another operating system you are installing "Guix".
-- 
ng0
GnuPG: A88C8ADD129828D7EAC02E52E22F9BBFEE348588
GnuPG: https://n0is.noblogs.org/my-keys
https://www.infotropique.org https://krosos.org


signature.asc
Description: PGP signature

Guix - installation script

[Sharlatan Hellseher]

Hi,

I've found your project very interesting. I've played with installation
instruction but it has a lot of different steps, for convenience purpose
I've wrote installation script which goes through all points of your guide.

As far as I could say, there is no any official installation script for
Guix on existing OS. I would like take an opportunity to maintain this
process.

If you could review it (Github) and give me some feedback I would be
appreciated.

https://github.com/Hellseher/wds/blob/master/wds-guix-install.sh

Best regards,
Oleg