From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id sCUbNyPpr1+zBgAA0tVLHw (envelope-from ) for ; Sat, 14 Nov 2020 14:26:43 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id SBDtMiPpr1+AfAAAB5/wlQ (envelope-from ) for ; Sat, 14 Nov 2020 14:26:43 +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 3C9969403AB for ; Sat, 14 Nov 2020 14:26:43 +0000 (UTC) Received: from localhost ([::1]:55826 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kdwVm-0005gy-1I for larch@yhetil.org; Sat, 14 Nov 2020 09:26:42 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:40950) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kdwVd-0005gs-KC for guix-devel@gnu.org; Sat, 14 Nov 2020 09:26:33 -0500 Received: from mail-wm1-x332.google.com ([2a00:1450:4864:20::332]:55233) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kdwVb-00060P-N4; Sat, 14 Nov 2020 09:26:33 -0500 Received: by mail-wm1-x332.google.com with SMTP id d142so18747956wmd.4; Sat, 14 Nov 2020 06:26:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=VmHKzI7sKpb3LucO5Xfm29fwAuWeBf3fShYssrFkTts=; b=QMy0uHoWH0rrCMb2AAMvTduU0fF/Co2sVcwFba6zmcKy/zc0bJQP9755Dni/6BqHeH 75N/82Ty3p6MGChMYBrs0t/3LwAIhFpPmTBoozgVLdwACHTilyK6BCEW9X8txUNDfAAj RTVP0lLZyU1EmZrdKx6VaopyhZ2Hg8M886chedIsXVYMSs7qckYNAzlrxSGrJ+3SBU8B XSNUHqkLkjUT6PfxpY3h2J/zuMMfqARDDSr+/+PvcJMEddpV6lNvR5TABWvPv6difPDd s12iDIf4Y6PKggnG+PfqhJ/L9UdAgVhtqEX8sRrSsm3oCGI863DJ71YCu0cUJtRWkPXC A8fw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=VmHKzI7sKpb3LucO5Xfm29fwAuWeBf3fShYssrFkTts=; b=N9R6N95v+C03slP4H0qJjxbMtHJUFF1zU14IockqnFcLBJWL6+RQf73u2h0hsL5TQu szisWaQLRPSW14HEULqeGdl6JWdIQ9x6PRqgcDb4MQQN4+T0JE+eHJv6qTazxyL3MLUo A9VjRLaYR4zQTPMNl6EhEIHNZgPe+KY4h+tKv94xuER5++eVjz/OQpS8g0Vj4pvNdDpW 6kIyttAtZDKsCnZpQD0hqSmgVvrwA2Oo18Mhfr7Ij8+kl3IpYmjJJ1URxCFNGAc0gCwo nv/Ad8EE2X1L1Q4hpY00rPpLlz6OLqiWwpHyZOq+2BLhiNX3PVtavpgoa+uMjw1B7MkO 5HzQ== X-Gm-Message-State: AOAM5328HFEKtIYkooSaUfQFqIrdfWbHG+LrU7BQhmDTr9hUaknUNXEO ywL034xm1PUOyFTu3QSuX8U= X-Google-Smtp-Source: ABdhPJx+gWuXGC65VIycwNbfvB6YhNgkWogRgdfKR50TAOHa6/ll4D0J3xh6jgPCKLR/3//ykMEu3Q== X-Received: by 2002:a1c:9949:: with SMTP id b70mr7179494wme.85.1605363989647; Sat, 14 Nov 2020 06:26:29 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id s133sm13731831wmf.30.2020.11.14.06.26.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 14 Nov 2020 06:26:28 -0800 (PST) From: zimoun To: Pierre Neidhardt , Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: Reviving Emacs-Guix In-Reply-To: <87pn4g8eay.fsf@ambrevar.xyz> References: <87ft5dzj2z.fsf@ambrevar.xyz> <87tuttci4z.fsf_-_@gnu.org> <87pn4g8eay.fsf@ambrevar.xyz> Date: Sat, 14 Nov 2020 13:57:19 +0100 Message-ID: <867dqoyu34.fsf@tournier.info> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::332; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x332.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Development of GNU Guix and the GNU System distribution , Ryan Prior Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=QMy0uHoW; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -1.71 X-TUID: bmii35v8MVG3 Hi Pierre, On Sat, 14 Nov 2020 at 10:42, Pierre Neidhardt wrote: > That'd be true if Geiser would indeed help us with Guix. But here it > actually provides almost no benefits and costs us a lot. > > Indeed, the *Guix REPL* buffer > > - is not required to build packages, Is it possible to currently build the packages using Emacs-Guix? And if you talk about =E2=80=98guix-devel-build-package-source=E2=80=98, it= needs before to =E2=80=99run-geiser=E2=80=99, I guess. >> Not a problem if Emacs-Guix were maintained, IMO. We can talk to each >> other, jao (the Geiser maintainer and primary developer) has always been >> responsive and helpful. > > True, the maintainer is responsive, sadly the issues I'm talking about > are hard to solve I think, they've been left hanging for a while now: > > - https://gitlab.com/emacs-geiser/geiser/-/issues/9 8 months is bunch of time but not a while. :-) > - https://gitlab.com/emacs-geiser/geiser/-/issues/11 3 weeks is not a while, neither. ;-) > I'd like insist: in the current state of Geiser, we cannot leverage it > reliably in Emacs-Guix. We need to talk to Guix directly, e.g. with > `guix repl` like I've done in Nyxt. For all what =E2=80=9Cguix-popup=E2=80=9D does, maybe pipe to =E2=80=9Cguix= repl=E2=80=9D should simplify. But I do not see how one could work interactively without Geiser; for example piping to =E2=80=9Cguix repl=E2=80=9D can not fix your = concern about =E2=80=9CTraces are not interactive=E2=80=9D, fixing Geiser can. All the best, simon