From mboxrd@z Thu Jan 1 00:00:00 1970 From: Federico Beffa Subject: delete profile Date: Sun, 12 Mar 2017 18:28:17 +0100 Message-ID: <87y3waqua6.fsf@lupo.i-did-not-set--mail-host-address--so-tickle-me> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47214) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cn7I6-0002sh-06 for guix-devel@gnu.org; Sun, 12 Mar 2017 13:28:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cn7I5-0003di-AH for guix-devel@gnu.org; Sun, 12 Mar 2017 13:28:21 -0400 Received: from mail-wr0-x22e.google.com ([2a00:1450:400c:c0c::22e]:33361) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cn7I5-0003cU-25 for guix-devel@gnu.org; Sun, 12 Mar 2017 13:28:21 -0400 Received: by mail-wr0-x22e.google.com with SMTP id u48so91081720wrc.0 for ; Sun, 12 Mar 2017 10:28:20 -0700 (PDT) Received: from lupo ([2001:4b00:180:3f01:bdb0:6544:7c91:8db4]) by smtp.gmail.com with ESMTPSA id o52sm21836136wrb.51.2017.03.12.10.28.18 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sun, 12 Mar 2017 10:28:19 -0700 (PDT) Received: from beffa by lupo with local (Exim 4.88) (envelope-from ) id 1cn7I1-0000qq-JY for guix-devel@gnu.org; Sun, 12 Mar 2017 18:28:17 +0100 List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Hi, I've created a profile for test purposes with guix package -p $HOME/guix-test-profile -m test-manifest.scm that now I would like to delete. I've looked up the documentation but not found any suitable command. What's the recommended procedure to delete it? Thanks, Fede