From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nikita Karetnikov Subject: Re: guix-package --roll-back Date: Thu, 10 Jan 2013 10:01:02 -0500 Message-ID: <87zk0h6q0o.fsf@karetnikov.org> References: <871uejyq9z.fsf@karetnikov.org> <874nj4sbfe.fsf@karetnikov.org> <87y5gf8sm1.fsf@gnu.org> <87hamy4yaj.fsf@karetnikov.org> <87pq1m5nxy.fsf@gnu.org> <87obh43j7r.fsf@karetnikov.org> <87vcbbqvw1.fsf@gnu.org> <87fw2ai3e1.fsf@karetnikov.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([208.118.235.92]:55740) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TtJcs-0007Jr-JH for bug-guix@gnu.org; Thu, 10 Jan 2013 10:01:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TtJcm-0000vH-Ev for bug-guix@gnu.org; Thu, 10 Jan 2013 10:01:02 -0500 In-Reply-To: <87fw2ai3e1.fsf@karetnikov.org> (Nikita Karetnikov's message of "(unknown date)") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: bug-guix@gnu.org --=-=-= Hi, I've forgotten to ask about the following. (equal? (map (cut file-exists? <>) (list previous-profile manifest)) '(#t #t)) Is it enough to check that 'previous-profile' and 'manifest' exist. Should it actually check 'manifest'? Nikita --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBAgAGBQJQ7tfMAAoJEM+IQzI9IQ38yfkP/jnSiiOeV3vPqj1tKJSQlAhl PV/zngRJ9juBmvU6nUTVONK9EPTKYsGpgQbeEJiZPpOsyAtRTiTlZYy685RGoWJb uaAqdZskHb5JSXug5cBKekzo5vi9WpPo/aSrOgcYVzzdrB8bwyXwI65QU0WSPBVO bTtAaHjQfHzp12/vFOJocQLjNaM1ddjzsBYD6f4Phhl5HqKu7JC5ffd02xZSUSFE k2JMuj05pmYwPvuosEwtL7Oe2vfQ3UReRR4wc6qjuVah64OUznkWJ8krNL1Xymsr wmtXLM5jGLJzXNxOVHXLX2oWIX4GeBfUWkc+8EOutirqBfnmHIswlFuPGrWjZTwF Ybk4oNVCNcSwYusF7zh/TQxNYiGqHHnXlMCT3npChKMkjlDNOideZcdtRV0klRce /4SnZsw6DIuRPBMXO3KQQKFI9no+BKZcXvB1yK7T0ZgubyzAFOACs/35ujsIAe0m /e54OWy/b9O9ky08rNgWPYtsKXWPr9Ack+uwtMK0mXm7dAM3BrFGp7wuuuRTs080 xl+s5P41SMseY8XmMYDZ7WRhf5FTZ0tkVzvhIlfhTuPrQoTQNroqb7TjZ5WGe8Nx KR8C/R9Mfvx08Hvex6opgjcs5JJXh/FxuVUIRvYaO5tFwIYLmKYaL8KwmWPEr2ZX qZir71MURod54K8D/Miq =eSKD -----END PGP SIGNATURE----- --=-=-=--