From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id qCvxA0LGql8REQAA0tVLHw (envelope-from ) for ; Tue, 10 Nov 2020 16:56:34 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id kERZO0HGql9ufAAAbx9fmQ (envelope-from ) for ; Tue, 10 Nov 2020 16:56:33 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 94DEE940415 for ; Tue, 10 Nov 2020 16:56:33 +0000 (UTC) Received: from localhost ([::1]:39334 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kcWwY-0000qv-Kp for larch@yhetil.org; Tue, 10 Nov 2020 11:56:30 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:45238) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kcWw6-0000qd-N1 for bug-guix@gnu.org; Tue, 10 Nov 2020 11:56:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:55465) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kcWw6-00050T-Cd for bug-guix@gnu.org; Tue, 10 Nov 2020 11:56:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kcWw6-00086Z-B2 for bug-guix@gnu.org; Tue, 10 Nov 2020 11:56:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#44552: Extra dynamic-space-size for asdf-build-system/sbcl? Resent-From: Guillaume Le Vaillant Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 10 Nov 2020 16:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44552 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Pierre Neidhardt Received: via spool by 44552-submit@debbugs.gnu.org id=B44552.160502731631092 (code B ref 44552); Tue, 10 Nov 2020 16:56:02 +0000 Received: (at 44552) by debbugs.gnu.org; 10 Nov 2020 16:55:16 +0000 Received: from localhost ([127.0.0.1]:38778 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kcWvM-00085Q-JA for submit@debbugs.gnu.org; Tue, 10 Nov 2020 11:55:16 -0500 Received: from mout01.posteo.de ([185.67.36.65]:48966) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kcWvK-00085B-1t for 44552@debbugs.gnu.org; Tue, 10 Nov 2020 11:55:15 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id C18D6160062 for <44552@debbugs.gnu.org>; Tue, 10 Nov 2020 17:55:05 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1605027305; bh=YbQO3HE11/uQWXFktILgHsAlP4cI1tz5dutO+WYFQxA=; h=From:To:Cc:Subject:Date:From; b=CCAZOdynonCCW8B1bEhX+ZEjFXeJimlzSNVQDGEPekgUqr7w/JYFYHddYonZ2vsEJ IfFo9MDqlM8JXjbvek7NtFqERfP7Wb8Yd6CSQ0A2bs+H9f24KRqKmGzTu+kdlJRmmp OzR0BaQ2ecphJBF/Q/74CZCjgOaVk3wjjfDFjJ8iUYzxLTAHr/oVPPnyPqzIcsB2eO VW2tYXQHqDrusLYtPI2zIU6JoV4k/uz2WqcMGz97h+6rvQfnWpumX/ikhvGdWIWkfS 025MP2ZrazMB3zEDG0mWEtFGWySMcniRVlHmdhIVpTRpjPISE8QmW8GxBPKlOPmYgp UueDGSM5DXMBQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4CVv9h5NT1z9rxM; Tue, 10 Nov 2020 17:55:04 +0100 (CET) References: <87sg9hida6.fsf@ambrevar.xyz> <87d00l1f9g.fsf@yamatai> <875z6di2ni.fsf@ambrevar.xyz> User-agent: mu4e 1.4.13; emacs 27.1 From: Guillaume Le Vaillant In-reply-to: <875z6di2ni.fsf@ambrevar.xyz> Date: Tue, 10 Nov 2020 17:55:03 +0100 Message-ID: <87a6vp17a0.fsf@yamatai> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.3 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.3 (-) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 44552@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=posteo.net header.s=2017 header.b=CCAZOdyn; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: -0.51 X-TUID: uoX0InRIJ/gX --=-=-= Content-Type: text/plain Pierre Neidhardt skribis: > Guillaume Le Vaillant writes: > >> I guess we could increase the default max space size to 4 or 5 GB >> without causing swapping issues on users' machines (at least on x86-64). >> And users wanting a smaller one can use the "dynamic-space-size" option >> at runtime. > > Fine with me, let's do it now on staging then? Yes, go ahead. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCX6rF5w8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j/pWwD+IusCV0msiUQd6vdvzVI4/5iNgZfA5IMFpHQe /6BIY3EA/R0p043setz2KQqhUjh/zveXBd2jF7CtKRCiMB5eWbpP =ByAN -----END PGP SIGNATURE----- --=-=-=--