From mboxrd@z Thu Jan 1 00:00:00 1970 From: sirgazil Subject: How do I remove profiles? Date: Tue, 04 Feb 2020 19:00:16 -0500 Message-ID: <17012a5be4e.c43d980a29631.6872205928038052594@zoho.com> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:35920) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iz87K-0002RO-D8 for help-guix@gnu.org; Tue, 04 Feb 2020 19:00:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iz87J-0002Ah-9X for help-guix@gnu.org; Tue, 04 Feb 2020 19:00:30 -0500 Received: from sender4-pp-o91.zoho.com ([136.143.188.91]:25161) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iz87I-0001sa-Hb for help-guix@gnu.org; Tue, 04 Feb 2020 19:00:28 -0500 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org Sender: "Help-Guix" To: Guix Help Hi, I've been playing with profiles after reading the "Guix Profiles in Practic= e" recipe=C2=B9 and created some that I don't really need. What would be th= e appropriate way to remove them so that nothing related to them is left ar= ound? For example, I have: $ guix package --list-profiles /home/sirgazil/.devenvs/my-project/my-project /home/sirgazil/.devenvs/project-a/project-a /home/sirgazil/.config/guix/current /home/sirgazil/.guix-profile Would just deleting the directories of "my-project" and "project-a" profile= s suffice? Thanks, 1. https://guix.gnu.org/cookbook/en/html_node/Guix-Profiles-in-Practice.htm= l#Guix-Profiles-in-Practice --- https://sirgazil.bitbucket.io/