From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 6HQAKtkoTGRcTAEASxT56A (envelope-from ) for ; Fri, 28 Apr 2023 22:13:13 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id 4NQMKtkoTGQieQAAauVa8A (envelope-from ) for ; Fri, 28 Apr 2023 22:13:13 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 5E30E43642 for ; Fri, 28 Apr 2023 22:13:13 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1psUSG-0001n4-Pq; Fri, 28 Apr 2023 16:12:32 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1psUSE-0001mt-Oy for help-guix@gnu.org; Fri, 28 Apr 2023 16:12:30 -0400 Received: from mail-qv1-xf2c.google.com ([2607:f8b0:4864:20::f2c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1psUSC-0005cU-FV for help-guix@gnu.org; Fri, 28 Apr 2023 16:12:30 -0400 Received: by mail-qv1-xf2c.google.com with SMTP id 6a1803df08f44-5ef51361ff6so2331846d6.0 for ; Fri, 28 Apr 2023 13:12:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=atai-org.20221208.gappssmtp.com; s=20221208; t=1682712742; x=1685304742; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=OEqMjOk+saja6kbim5NWdo3i8x0/hMkVwsMHsu1tnt0=; b=AEcULqrQ1ejdGN5ZtaT5DUKkJXQ5GwIu7TOKYybReKAp9QVLmVQBG+BN0fNU1FIToe XzhOaMMk9IYG/VPtQUaQ/5Qqp29EeCZjmXGwbisUacXwPfJkYT+WT6XaL9KxFBwsqR+d 7/s8Dwn44OBgDuY9M6z7gZySaINoShMocbjkW0yMd/tFMdlY3z8ym2t0tP7IKuZZ5BGR XOwzxM374v4WftjUfkLw64XAoDDal0T+YJTYaIQIPPzCGZl2pHKiQzRLHcoONLD5RcVs JAIYInnEYFB1b+fSiVVJCx5STuwyJ+WuuaLx709+2gPvsakmrBNmjHcBaU135miEDR2G 6W4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1682712742; x=1685304742; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=OEqMjOk+saja6kbim5NWdo3i8x0/hMkVwsMHsu1tnt0=; b=k2ooZVWoglkGu8x26GiwPXK9pH3MU4776GP0c5zCYXdEqXodHtY+P+0Z7mcia0JcSZ E974G6oRx2kTnox646SNl7E8LtRVxhihPjInSeB8jT5fDfUm7tsgHBwezkMvPekkXgJX KCk04/cRdEnzj8ncwY7xp8lEYPwJgXq0AnPKr29UqRlja6qG39eqKgCK8m9hnfjaTk+B z1174g189G6l8s27ivSp506zv3dz1vGd5pxPpKn8TmNouWcrv2svgSox1v8Snv2+4U8K sindgLWE/NfqT3PGFJd7S6TL6/oFoezbS+qb1k0ZIm21r+kIQH1zkmfKHn93/P26L+qj idYQ== X-Gm-Message-State: AC+VfDwdumH/Uti9Abv1vR7Q/eAmeWss3RjKJmw7bSw5O4H9WGY66puf e5UQ0o9PNtclPk7AnRimTabRHlMvvkDgIg8sDAeYVuHKhEU= X-Google-Smtp-Source: ACHHUZ7/cQp6CEfJWu9yqGIYcaLpBSOdqSMiulMurBj0//pLhJ1MAH92gzXLcdAh+mmt+Z+dA/ZpyENVj9GQZNVYffc= X-Received: by 2002:a05:6214:d4e:b0:5bf:ba9d:8726 with SMTP id 14-20020a0562140d4e00b005bfba9d8726mr11978818qvr.10.1682712742036; Fri, 28 Apr 2023 13:12:22 -0700 (PDT) MIME-Version: 1.0 From: Andy Tai Date: Fri, 28 Apr 2023 13:11:45 -0700 Message-ID: Subject: behavior of guix package -k -u on substitute download failure or build failure To: help-guix@gnu.org Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::f2c; envelope-from=lichengtai@gmail.com; helo=mail-qv1-xf2c.google.com X-Spam_score_int: -13 X-Spam_score: -1.4 X-Spam_bar: - X-Spam_report: (-1.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Seal: i=1; s=key1; d=yhetil.org; t=1682712793; a=rsa-sha256; cv=none; b=GuJtKdDXJGElvxHC+AW22aZ8iumhqxtc2BTG8GMFeiBDd6e6c3sP2JnPAcL74c0pMc1t2m ebmLIOkMnstWlSmAh/BBMV9oG5JZ72sl318X0i9lLNAFJNxIvYQOSUV2NE0oaObLcn+JCY ECTMfr9470m9TCNdx3pSojEaVhez43t9ILXvhOS0pcfTqfnlsy6wuwwo6oH41teydXYUVo +MJLo2EDxa+4USTm8H+MJCYzeB9vLI1DeF+pFWSaohRLWGXwgZ8mMad/DEcvMn2NrsQ+xc y5J28bMkYluwAS2qDBKj9E0SljGcldlog0FjCZthHdft+1YRbh3g7cefEISTsg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=atai-org.20221208.gappssmtp.com header.s=20221208 header.b=AEcULqrQ; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1682712793; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=OEqMjOk+saja6kbim5NWdo3i8x0/hMkVwsMHsu1tnt0=; b=uWxvflc+mVT/pTKQ5Npb9wnVCvM1xhyAaMWYuVPsFmZ4siIBpFMnYeJlLBRGtTLnrMkosi rKJm/LaUMcNxYh7IcQWUCkBo7ZxkcozVVVWbDtfX4d6n3lyTHytGIdtd4HfzFTxcXayBto OYkEwehXo2ToiZ7lZL5OA+VS6FEufSaY5+vPJmqIKZBF2/yy1lH50/XjWw97Z7cJbpiMIY GLs1eQwOK9dFBryHuWnuG47OHCEh6g2vp0x5mBahxPRW2xepV6Iq9NrljiByicCkarbm3A w6YdnUcLcrNkblEjYOcoiJUFPUXhFa66mIDm+jL//ZoHxuor+7I2hbJvWbBFkQ== X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=atai-org.20221208.gappssmtp.com header.s=20221208 header.b=AEcULqrQ; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -5.80 X-Spam-Score: -5.80 X-Migadu-Queue-Id: 5E30E43642 X-TUID: ZbSBRX0ZI+mU Hi, sorry if I misunderstand any concept in this mail, from previous messages I believe that the behavior of a user doing guix package -k -u if any failure occurs (network failure downloading substitutes or local build failure) the local builds of other packages may proceed to completion, but no package upgrade occurs at all. I guess this is for the reason of transaction integrity, that guix upgrades all packages eligible to be upgraded in this instance, either all of them or none of them. In normal usage, it may commonly be the intention of the user just to get package updates, not necessarily needing to have these packages upgraded in one step. Thus is is possible to have a command line switch to have guix package to just upgrade the packages that can be successfully upgraded, even if some other packages may not be upgraded due to some failure, thus breaking the transaction semantics but the user does not mind? for example, today my attempt at package upgrade failed at building python-pyopengl-accelerate but I don't really mind gtk programs unrelated to python to be upgraded