From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andreas Enge <andreas@enge.fr>
Subject: Re: Creating user profiles
Date: Sun, 13 Jan 2013 23:31:44 +0100
Message-ID: <201301132331.44244.andreas@enge.fr>
References: <201301131423.36130.andreas@enge.fr> <87libwrb66.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="Boundary-01=_QXz8QqlEK0cCgVx"
Content-Transfer-Encoding: 7bit
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([208.118.235.92]:49188)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <andreas@enge.fr>) id 1TuW64-0003wN-U4
	for bug-guix@gnu.org; Sun, 13 Jan 2013 17:32:16 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <andreas@enge.fr>) id 1TuW5v-0003Tf-9K
	for bug-guix@gnu.org; Sun, 13 Jan 2013 17:32:08 -0500
In-Reply-To: <87libwrb66.fsf@gnu.org>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: Ludovic =?utf-8?q?Court=C3=A8s?= <ludo@gnu.org>
Cc: bug-guix@gnu.org

--Boundary-01=_QXz8QqlEK0cCgVx
Content-Type: text/plain;
  charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Am Sonntag, 13. Januar 2013 schrieb Ludovic Court=C3=A8s:
> Right, good point.  (Apparently Nix=E2=80=99s manual doesn=E2=80=99t ment=
ion it either.)
> So here=E2=80=99s what I would do:

I simply applied the patch, and it seems to be part of the solution.
Upon a first run of "guix-package --list-available", I obtained the error=20
message inviting me to create the directory, which I did. The next call=20
succeeded. But now $HOME/.guix-profile points to the non-existing=20
/usr/local/guix-git/var/nix/profiles/per-user/privat/guix-profile, and I=20
get the error:

Backtrace:
In ice-9/boot-9.scm:
 149: 9 [catch #t #<catch-closure 14e29c0> ...]
 157: 8 [#<procedure 147e0f0 ()>]
In unknown file:
   ?: 7 [catch-closure]
In ice-9/boot-9.scm:
  63: 6 [call-with-prompt prompt0 ...]
In ice-9/eval.scm:
 407: 5 [eval # #]
In unknown file:
   ?: 4 [call-with-input-string "(apply (module-ref (resolve-interface=20
'(guix-package)) 'guix-package) (cdr (command-line)))" ...]
In ice-9/command-line.scm:
 174: 3 [#<procedure 1415500 at ice-9/command-line.scm:169:3 (port)>=20
#<input: string 12a51a0>]
In unknown file:
   ?: 2 [eval (apply (module-ref # #) (cdr #)) #<directory (guile-user)=20
14e4d80>]
In /usr/local/bin/guix-package:
 467: 1 [guix-package "--list-available"]
In unknown file:
   ?: 0 [symlink "/usr/local/guix-git/var/nix/profiles/per-
user/privat/guix-profile" ...]

ERROR: In procedure symlink:
ERROR: In procedure symlink: File exists

The problem is that the call to "guix-package --list-available" does not=20
actually create anything in the per-user profile directory.

After deleting $HOME/.guix-profile again and running "guix-package -i=20
hello", the per-user profile directory contains a symbolic link guix-
profile-1-link to a user environment in the nix store, and a symbolic link=
=20
guix-profile to guix-profile-1-link, and $HOME/.guix-profile points to the=
=20
right thing. Then "guix-package --list-available" succeeds.

Now I can even remove the hello package, since then the per-user profile=20
directory contains a link to the empty user environment in the nix store.

I would suggest the following: Before making the $HOME/.guix-profile=20
symlink, check for the guix-profile symlink in the per-user profile=20
directory. If it does not exist, create it as a link to the empty user=20
environment. So there will always be guix-profile-1-link linking to the=20
empty directory, which might also be useful for roll back (never delete=20
this first empty environment).

Andreas

--Boundary-01=_QXz8QqlEK0cCgVx
Content-Type: text/html;
  charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-=
html40/strict.dtd">
<html><head><meta name=3D"qrichtext" content=3D"1" /><style type=3D"text/cs=
s">
p, li { white-space: pre-wrap; }
</style></head><body style=3D" font-family:'DejaVu Sans Mono'; font-size:9p=
t; font-weight:400; font-style:normal;">
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Am Sonntag,=
 13. Januar 2013 schrieb Ludovic Court=C3=A8s:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">&gt; Right,=
 good point.  (Apparently Nix=E2=80=99s manual doesn=E2=80=99t mention it e=
ither.)</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">&gt; So her=
e=E2=80=99s what I would do:</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">I simply ap=
plied the patch, and it seems to be part of the solution.</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Upon a firs=
t run of &quot;guix-package --list-available&quot;, I obtained the error me=
ssage inviting me to create the directory, which I did. The next call succe=
eded. But now $HOME/.guix-profile points to the non-existing /usr/local/gui=
x-git/var/nix/profiles/per-user/privat/guix-profile, and I get the error:</=
p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Backtrace:<=
/p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In ice-9/bo=
ot-9.scm:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"> 149: 9 [ca=
tch #t #&lt;catch-closure 14e29c0&gt; ...]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"> 157: 8 [#&=
lt;procedure 147e0f0 ()&gt;]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In unknown =
file:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">   ?: 7 [ca=
tch-closure]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In ice-9/bo=
ot-9.scm:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">  63: 6 [ca=
ll-with-prompt prompt0 ...]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In ice-9/ev=
al.scm:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"> 407: 5 [ev=
al # #]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In unknown =
file:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">   ?: 4 [ca=
ll-with-input-string &quot;(apply (module-ref (resolve-interface '(guix-pac=
kage)) 'guix-package) (cdr (command-line)))&quot; ...]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In ice-9/co=
mmand-line.scm:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"> 174: 3 [#&=
lt;procedure 1415500 at ice-9/command-line.scm:169:3 (port)&gt; #&lt;input:=
 string 12a51a0&gt;]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In unknown =
file:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">   ?: 2 [ev=
al (apply (module-ref # #) (cdr #)) #&lt;directory (guile-user) 14e4d80&gt;=
]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In /usr/loc=
al/bin/guix-package:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"> 467: 1 [gu=
ix-package &quot;--list-available&quot;]</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">In unknown =
file:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">   ?: 0 [sy=
mlink &quot;/usr/local/guix-git/var/nix/profiles/per-user/privat/guix-profi=
le&quot; ...]</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">ERROR: In p=
rocedure symlink:</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">ERROR: In p=
rocedure symlink: File exists</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">The problem=
 is that the call to &quot;guix-package --list-available&quot; does not act=
ually create anything in the per-user profile directory.</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">After delet=
ing $HOME/.guix-profile again and running &quot;guix-package -i hello&quot;=
, the per-user profile directory contains a symbolic link guix-profile-1-li=
nk to a user environment in the nix store, and a symbolic link guix-profile=
 to guix-profile-1-link, and $HOME/.guix-profile points to the right thing.=
 Then &quot;guix-package --list-available&quot; succeeds.</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Now I can e=
ven remove the hello package, since then the per-user profile directory con=
tains a link to the empty user environment in the nix store.</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">I would sug=
gest the following: Before making the $HOME/.guix-profile symlink, check fo=
r the guix-profile symlink in the per-user profile directory. If it does no=
t exist, create it as a link to the empty user environment. So there will a=
lways be guix-profile-1-link linking to the empty directory, which might al=
so be useful for roll back (never delete this first empty environment).</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p>
<p style=3D" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-rig=
ht:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Andreas</p>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; ">&nb=
sp;</p></body></html>
--Boundary-01=_QXz8QqlEK0cCgVx--