From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 28 00:36:12 2021 Received: (at 20255) by debbugs.gnu.org; 28 Jun 2021 04:36:12 +0000 Received: from localhost ([127.0.0.1]:50617 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxj0G-00064j-Jn for submit@debbugs.gnu.org; Mon, 28 Jun 2021 00:36:12 -0400 Received: from mail-qv1-f42.google.com ([209.85.219.42]:33559) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxj0C-00064T-0O for 20255@debbugs.gnu.org; Mon, 28 Jun 2021 00:36:10 -0400 Received: by mail-qv1-f42.google.com with SMTP id u8so5374504qvg.0 for <20255@debbugs.gnu.org>; Sun, 27 Jun 2021 21:36:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=lgVjI0DnQupN2R1xVW/fHdnG4rj3ED9lUlz961UJP5w=; b=fR0xk6TlAgw5gClhlZSA/FRGvHMGk+7OjlLATZeVKcxAT9cTfX6CaEuwvbcSn/yMAv 039BILB662T83foS4GR7MG8LC5rt2MzWxUV7oj4Br41oBM8xX3hM5Mo4Svr54zMlDnOa +/qV2MjY5/GoN3z0AMc3wAwrbhgGxn7ZEgany18gjucc4uZX660g1x+fuBaivrguVPu1 vQJE9oqWaFlLVdeRRtoNWoQR5yRl2eBcC8ark6MFS0bS6psNb+fkIiNMMDyEfXq8szcj FvQom+4SvUqqq/h1JUvtzsgGWmiacZHco30ZqTVm9Xw6RqUrDt0BHRzLXvrUInXp2H+T 3+xA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=lgVjI0DnQupN2R1xVW/fHdnG4rj3ED9lUlz961UJP5w=; b=MVzrxbbNRNvljfHs14XyN3nMLWo4UJmKpJCQdMflWf9rla19FS3qwKY6OBH9aoiNwA JPgN7G6QDJINR83lIQb66zcRwQCiX9VNLlEbfCym/L3Xcmh7wL15Y1wvBp2DBHsTK4sk 0zTqJda1XhtK4XWrz33bJuVr/V8jMUT9Nguv3+WtYlTGjGEI+J3dtEi0d99BBVcKqk90 dTyoCoGtIw52dOIzT7BqdOfMzeby4Av97fhlFW0k5e4yKF57xsmWR5DoDejkhNyGcvH5 /+b6/3r35pTMBWvSO1mHM1x1iEAsgBVph97j0RxQ4nCvk2ODkWdK4KBs4w17OCxwcD1D y4ug== X-Gm-Message-State: AOAM531BufGe5sqHDNmIJMIYqPCstgNE1dSere3HX4TpsBYwCfi3W+Qq Czln/IxgqiNcO6LI0QV2CZ0= X-Google-Smtp-Source: ABdhPJy7pDJ7K2SygOyVdWRaR2sSerIqraE+6fyzELIxDvDk47a3s8ppZcbarrJON3K37bV9GdhlvA== X-Received: by 2002:ad4:4022:: with SMTP id q2mr23602274qvp.43.1624854962082; Sun, 27 Jun 2021 21:36:02 -0700 (PDT) Received: from hurd ([207.35.94.165]) by smtp.gmail.com with ESMTPSA id b21sm2870329qkh.55.2021.06.27.21.36.00 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 27 Jun 2021 21:36:01 -0700 (PDT) From: Maxim Cournoyer To: Leo Prikler Subject: Re: bug#20255: 'search-paths' should respect both user and system profile. References: <87eeun97ur.fsf@gmail.com> <874kdlxsfl.fsf_-_@gmail.com> <5f385b99827c7c069094e1ed0fb2bd52f5345445.camel@student.tugraz.at> Date: Mon, 28 Jun 2021 00:35:59 -0400 In-Reply-To: <5f385b99827c7c069094e1ed0fb2bd52f5345445.camel@student.tugraz.at> (Leo Prikler's message of "Sat, 26 Jun 2021 07:59:30 +0200") Message-ID: <87mtrawqq8.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 20255 Cc: zimoun , mhw@netris.org, Alex Kost , 20255@debbugs.gnu.org, iyzsong@gmail.com, Ludovic =?utf-8?Q?Court=C3=A8s?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Leo, [...] > I think there is a solution, that works not only for the case of > disabling this unwanted feature, but also to add in support for > multiple profiles, i.e. if the user has more than just their .guix- > profile to load. > > If we made this feature opt-in in that a user would first have to write > their profiles to $HOME/.config/guix/default-profiles or a similarly > named file in $HOME/.config/guix, we could simply not run the command > if the file doesn't exist, and if it exists run it using the profiles > in there. > > Most users will likely have > > /home/myself/.guix-profile > /run/current-system/profile > > in it, but you could also have > > /home/myself/.guix-extra-profiles/emacs > /home/myself/.guix-extra-profiles/hundreds-of-npm-packages > /home/myself/.guix-extra-profiles/rusty-rust > /home/myself/.guix-profile > /run/current-system/profile > > Of course, having to type out /home/myself is somewhat weird, and the > last two lines are a bit of boilerplate, that one might want to avoid. > We could alternatively make it so that an empty file means "use > $HOME/.guix-profile and /run/current-system/profile", such that those > are always sourced no matter what. WDYT? I like this later idea (does what a user would reasonably expect by default, which is to consider both the system and the user profile by default). A user specifying that file manually could then override the default behavior to have it source extra profiles, or none at all. Some small difference I'd propose: An non-existing $HOME/.config/guix/default-profiles file would be equivalent to an existing file containing: - $HOME/.guix-profile - /run/current-system/profile as the default behavior. Now we'd need to look at how feasible it is to implement such a feature. Thanks for this clever suggestion! It seems we may be able to find a good middle ground :-). Maxim