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 qD4HJjsOsF9HNwAA0tVLHw (envelope-from ) for ; Sat, 14 Nov 2020 17:04:59 +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 2EXeITsOsF+dZQAAbx9fmQ (envelope-from ) for ; Sat, 14 Nov 2020 17:04:59 +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 520CE9403A0 for ; Sat, 14 Nov 2020 17:04:59 +0000 (UTC) Received: from localhost ([::1]:54432 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kdyyw-0003U5-C7 for larch@yhetil.org; Sat, 14 Nov 2020 12:04:58 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:50240) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kdywd-0001Fv-Er for guix-devel@gnu.org; Sat, 14 Nov 2020 12:02:35 -0500 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]:37421) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kdywa-00047H-Sp; Sat, 14 Nov 2020 12:02:35 -0500 Received: by mail-wr1-x42e.google.com with SMTP id b6so13801360wrt.4; Sat, 14 Nov 2020 09:02: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=4Rco7JogUP0o0nHegdv5j6VcIeZHAKTA4hEV8MdT/Us=; b=P31PvsbD1mMQLN/zV5ozTuw74UlMxToqMw2hXbtt8Vh8ODFQrVvV+QOSG0UlOy8Xhi hxpPPgplsOUX3LfM7xuPgH3qD62JfgUVqTaqx5iiTjeItJ/xQhCIYxTowWJUmUZyf8S5 StT+D703GpCvTZdEh35ftxV7+HGeUjddDdub+GpHJt1R1ONZ6TsPFF96t1dELzKz/4f9 eaMCqcnjBOQdHc0GJyc0Nd7e6qn8Afou34VYAvot1P3k/ZevaPXJmBd1pxJPBf8lTc7j POn6hXEOghIa7CdZdFtNA/Z69MSpzRD9ZrdkG0rTJGzCNMKvMJwGHU+U0Dk8Kg3Tzul5 Haqg== 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=4Rco7JogUP0o0nHegdv5j6VcIeZHAKTA4hEV8MdT/Us=; b=W3s/7RUEZnCUemtVRg00ei5BUWK+VDpnla/G/vdqf7Hm77IWQBKdnD9UZn359n/6ag SVwGcdnSHRHCIo+bTLzRws4/dMao1TnOR69E9Dd2/gSRbWqFomG60raX0mOT0risIYv4 ohjHVoaENAdLw71tFDYaNUNJvUL7EG4jZ/EnvWRM6hldqjKxsE7eDlsgoFVNByVkHYkk qLDAU0hiswaWGztCy9fAgWVUb5Vw9e8KoXbWTanOreWy64zkY5aJ7rwJPxs6RTfzvHz/ PzoSyBWTdSa4kmbpX6lOXRTck2spfA/nMXuC8SKk6R0JxC7uhyDDyAtZF3ZVE9hYqIGF d9AQ== X-Gm-Message-State: AOAM531tM5CAmSPv6CZcLTTD2CbcKHtHJPButiu1sfjUoQiYxE3ck0VF wujaZGHw84VmsRo+kEEdVds= X-Google-Smtp-Source: ABdhPJzlCbiugerp0PFpyRmr3xaEwdV+oz3P6UEAS+hOu9cBuuBnuNyKjqQwj7qaBWF+gWsj3nKGOw== X-Received: by 2002:a5d:4703:: with SMTP id y3mr10597923wrq.416.1605373349008; Sat, 14 Nov 2020 09:02:29 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id 18sm13374492wmo.3.2020.11.14.09.02.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 14 Nov 2020 09:02:28 -0800 (PST) From: zimoun To: Pierre Neidhardt , Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: Reviving Emacs-Guix In-Reply-To: <875z68x73f.fsf@ambrevar.xyz> References: <87ft5dzj2z.fsf@ambrevar.xyz> <87tuttci4z.fsf_-_@gnu.org> <87pn4g8eay.fsf@ambrevar.xyz> <867dqoyu34.fsf@tournier.info> <875z68x73f.fsf@ambrevar.xyz> Date: Sat, 14 Nov 2020 17:56:40 +0100 Message-ID: <86sg9byj07.fsf@gmail.com> 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::42e; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42e.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=P31PvsbD; 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: WILEi8oyAKKQ Hi Pierre, On Sat, 14 Nov 2020 at 16:59, Pierre Neidhardt wrote: > zimoun writes: > >> 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. > > Yes, using guix-devel-build-package-source, or even building by writing > Scheme code in the Guix REPL. Maybe I am missing the obvious but how the =C2=AB pipe to =E2=80=9Cguix rep= l=E2=80=9D =C2=BB approach could be an interactive REPL? >>> - https://gitlab.com/emacs-geiser/geiser/-/issues/9 >> >> 8 months is bunch of time but not a while. :-) > > Actually 9 months, but the issue has been there forever. Yes, as any issue before being reported. ;-) > The problem is the Schemers are just painfully dealing with the status > quo. I believe we need to address this. Geiser is lagging behind by > far, compared to what SLIME, SLY, racket-mode and CIDER can offer. I do not understand your point. You are mixing 2 topics: - Emacs front-end for Guix - Scheme mode for Emacs and then applying kind of transitivity: Geiser is poor (compared to SLIME or SLY) so it cannot be used for Guix at all. Applying the same trick: the number of packages in Guix is poor (compared to Debian or Nix) so Guix cannot be used at all. If your point is: shared code from =C2=AB pipe to =E2=80=9Cguix repl=E2=80= =9D =C2=BB could be used both for an Emacs front-end and a Nyxt one, then maybe=E2=80=A6 And even I = am not convinced. >>> - https://gitlab.com/emacs-geiser/geiser/-/issues/11 >> >> 3 weeks is not a while, neither. ;-) > > Which 3 weeks? I think you looked at Maxim's comment :p The issue was > also opened 9 months ago. Right, I misread. :-) >> For all what =E2=80=9Cguix-popup=E2=80=9D does, maybe pipe to =E2=80=9Cg= uix 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 yo= ur concern about >> =E2=80=9CTraces are not interactive=E2=80=9D, fixing Geiser can. > > Yes, but my point is that since traces are mostly useless as it is now, > we don't lose any benefit by using `guix repl'. > > We have 2 options: > > - Fixing Geiser, which might take a long time, leaving us with a broken > emacs-guix for the time being. > It's not even clear that it can be done without rewriting everything. > > - Or use `guix repl`, which is known to work, already has working code > out there, and can be deployed in a week or two. > > I find the second option more attractive. You do not convince me. Because you do not answer to the question: how one could work interactively without Geiser? How =C2=ABpipe to =E2=80=9Cgu= ix repl=E2=80=9D=C2=BB could lead to interactive work? For example, persistence between 2 calls. And solving that is somehow inheriting from =E2=80=99comint-mode=E2= =80=99 and so more less rewrite =E2=80=99geiser-repl.el=E2=80=99; but Guix specific only.= Maybe I am missing the obvious. Maybe =C2=ABpipe to =E2=80=9Cguix repl=E2=80=9D=C2=BB could simplify what = =E2=80=9Cguix-popup=E2=80=9D does. Even, I am not convinced. Today, the real issue with Emacs-Guix is not Geiser, at all. The usage is often annoying because Emacs-Guix is in low-maintenance mode. Well, at the end, the only judge is the effective code. ;-) Cheers, simon