From mboxrd@z Thu Jan 1 00:00:00 1970 From: John Darrington Subject: Re: [PATCH] gnu: Mark /gnu/store as needed for boot. Date: Sun, 15 Jan 2017 12:18:36 +0100 Message-ID: <20170115111836.GA22336@jocasta.intra> References: <1484164902-10160-1-git-send-email-jmd@gnu.org> <877f5xjpmk.fsf@gnu.org> <20170115063226.GA20478@jocasta.intra> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="k+w/mQv8wyuph6w0" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55649) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cSipm-0002k7-Oh for guix-devel@gnu.org; Sun, 15 Jan 2017 06:18:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cSipl-0004uS-Q7 for guix-devel@gnu.org; Sun, 15 Jan 2017 06:18:50 -0500 Content-Disposition: inline In-Reply-To: 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: David Craven Cc: guix-devel , John Darrington --k+w/mQv8wyuph6w0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Jan 15, 2017 at 10:53:02AM +0100, David Craven wrote: > will erroneously return #t when (file-system-mount-point fs) evaluat= es > to "/gn" and (%store-directory) to "/gnu/store". Will it not??? =20 The trick is to revert the arguments: =20 (string-prefix? (%store-directory) (file-system-mount-point fs)) No that will also be wrong. (string-prefix? "/gnu/store" "/gnu") =3D> #f I think the procedure I wrote does it correctly. J' --=20 Avoid eavesdropping. Send strong encrypted email. PGP Public key ID: 1024D/2DE827B3=20 fingerprint =3D 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key. --k+w/mQv8wyuph6w0 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlh7WowACgkQimdxnC3oJ7OdzACggjWO9RW/63lfnKaA95rEU16K +XAAmQFkFs6c/wwnxbQb52ITkaoWx+dl =mR+P -----END PGP SIGNATURE----- --k+w/mQv8wyuph6w0--