From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: simultaneous installation to same profile
Date: Tue, 24 Feb 2015 23:15:22 +0100
Message-ID: <87a9039csl.fsf@gnu.org>
References: <idj7fvejcyx.fsf@bimsb-sys02.mdc-berlin.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
In-Reply-To: <idj7fvejcyx.fsf@bimsb-sys02.mdc-berlin.net> (Ricardo Wurmus's
	message of "Thu, 19 Feb 2015 13:35:34 +0100")
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
To: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Cc: Guix-devel <guix-devel@gnu.org>, bug-guix@gnu.org
List-Id: bug-guix.gnu.org

Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> skribis:

> my colleague was curious what would happen if he installed two packages
> at the same time from different shell sessions.
>
> He ran "guix package -i openmpi" in one shell and "guix package -i
> boost" in the other.  The boost installation apparently finished earlier
> and was added to the profile.  When the openmpi installation finished,
> it was nowhere to be found in the profile.  (See the logs below.)
>
> Should we prevent simultaneous installations with locks?

Yes, it would be nice; filing it to bug-guix.

Thanks,
Ludo=E2=80=99.