From unknown Wed Sep 10 17:01:38 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#61434 <61434@debbugs.gnu.org> To: bug#61434 <61434@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add emacs-pasp-mode. Reply-To: bug#61434 <61434@debbugs.gnu.org> Date: Thu, 11 Sep 2025 00:01:38 +0000 retitle 61434 [PATCH] gnu: Add emacs-pasp-mode. reassign 61434 guix-patches submitter 61434 Liliana Marie Prikler severity 61434 normal tag 61434 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 11 10:16:55 2023 Received: (at submit) by debbugs.gnu.org; 11 Feb 2023 15:16:55 +0000 Received: from localhost ([127.0.0.1]:42938 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQrcU-0001gG-NA for submit@debbugs.gnu.org; Sat, 11 Feb 2023 10:16:55 -0500 Received: from lists.gnu.org ([209.51.188.17]:36554) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQrcS-0001g4-5q for submit@debbugs.gnu.org; Sat, 11 Feb 2023 10:16:53 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pQrcR-00049C-QH for guix-patches@gnu.org; Sat, 11 Feb 2023 10:16:51 -0500 Received: from mail-ej1-x642.google.com ([2a00:1450:4864:20::642]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pQrcP-0006eE-VU for guix-patches@gnu.org; Sat, 11 Feb 2023 10:16:51 -0500 Received: by mail-ej1-x642.google.com with SMTP id sa10so22378799ejc.9 for ; Sat, 11 Feb 2023 07:16:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:to:subject:date:from:from:to:cc:subject :date:message-id:reply-to; bh=iFplh0cQYxNWlb3u5VYe0BCxgLdHE/OQ8gIswms0oWk=; b=igDE50syKb60S4t4Ly3C9D5ipK86IHCVoZQSLwSqKooKitWc1RtGhG2YdVMr5WHot4 NEcE2pXFje/4pnRlSEAigeAN5HvMfk1EJnefI5dfSgtIxKiffyDmad+9Y3hbTnVBRwvj WM44TGzKGMNm/1Vuu43JJirMb5PzBB/CgbweukqSNcIadV92XHE0RTXRwlcFdRcfV3gd 6kWCoN6pXF/z2sSFNVRSj5ARlJsoBSeUTyvl8bqVXcKwvr6Ot6SbMekeEdpNb0snkt+C AvEXFaKbVFMHnKdPnU2eDcKOhF3qJGym3mNI9l0VHAHHsBz6J/T/sO05WyO5lXNW7tVw YYBg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:to:subject:date:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=iFplh0cQYxNWlb3u5VYe0BCxgLdHE/OQ8gIswms0oWk=; b=YbRmB0HlG/+BiNKZzdSjqo7qEIq1Kjt8nnewMS1UPZyza42MUwd9RCFZo+A3UIVOMx mhYssITczN7EgF83vkEdVjJ9YafFJUgjHuebOcjWDxU3MGTI9Da8ocxYQpdDhq1xHh+M tYLW2z3iJfUzW2oHPI0JSA3K/godYxOaXTGRhMV6WGezndsnFxbP66JnMdz5dO8rpHwT r1LGWfcedgcPtnsQ721DH+ppBiN8g6dNM3g92mqCiy/0hu2xeHujKLWOC9BJUPN7GHZN zwPU8TDKwKn76TtW5Ha5XxArIpe04wFLFzQG3S1o1TsDaX1QyKC2tIYKG+jrEov0lwoL gNTg== X-Gm-Message-State: AO0yUKVgbTC705QzXMyX3rC2w0nT4m06YKCGo0x/0ysAji8TMZ5Egc3G O0GWuPH5Ldu+T2ugYhZ2PoJM7UQBxrRnVw== X-Google-Smtp-Source: AK7set+fo6CfEPefAEzFoSD5o766AIXPKad5e+kGEFwgE/fEaSPQxHOOKOsndeLfYSYZUgN8ZFLpXQ== X-Received: by 2002:a17:906:cc0f:b0:880:a42d:dfb4 with SMTP id ml15-20020a170906cc0f00b00880a42ddfb4mr17044563ejb.16.1676128608232; Sat, 11 Feb 2023 07:16:48 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id kk21-20020a170907767500b0088ef3c38a52sm4012399ejc.19.2023.02.11.07.16.47 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 11 Feb 2023 07:16:47 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 11 Feb 2023 16:15:00 +0100 Subject: [PATCH] gnu: Add emacs-pasp-mode. to: guix-patches@gnu.org Message-ID: <602f2c0db9881fdd663c9919b5783db950ac900b.camel@gmail.com> MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::642; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x642.google.com 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, MALFORMED_FREEMAIL=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-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New file. * gnu/local.mk: Register it here. * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): New variable. --- gnu/local.mk | 1 + gnu/packages/emacs-xyz.scm | 47 +++++++++++++++++++ .../emacs-pasp-mode-quote-file-names.patch | 20 ++++++++ 3 files changed, 68 insertions(+) create mode 100644 gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch diff --git a/gnu/local.mk b/gnu/local.mk index bf4b20577d..0548fc4e3d 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1070,6 +1070,7 @@ dist_patch_DATA = \ %D%/packages/patches/emacs-highlight-stages-add-gexp.patch \ %D%/packages/patches/emacs-lispy-fix-thread-last-test.patch \ %D%/packages/patches/emacs-native-comp-driver-options.patch \ + %D%/packages/patches/emacs-emacs-pasp-mode-quote-file-names.patch \ %D%/packages/patches/emacs-polymode-fix-lexical-variable-error.patch \ %D%/packages/patches/emacs-source-date-epoch.patch \ %D%/packages/patches/emacs-telega-path-placeholder.patch \ diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index bbaafcc730..b6780ace02 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -4387,6 +4387,53 @@ (define-public emacs-pabbrev during idle time, while Emacs is doing nothing else.") (license license:gpl3+))) +(define-public emacs-pasp-mode + (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92") + (revision "1")) + (package + (name "emacs-pasp-mode") + (version (git-version "0.1.0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/santifa/pasp-mode.git") + (commit commit))) + (patches + (search-patches "emacs-pasp-mode-quote-file-names.patch")) + (sha256 + (base32 + "1ar4vws3izzmir7m870mccci620ns3c5j26dcmwaxavhgw45wcmf")))) + (build-system emacs-build-system) + (arguments + (list + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'defconst-version + (lambda _ + (emacs-batch-edit-file "pasp-mode.el" + '(progn + (search-forward-regexp + "(defcustom pasp-mode-version \"[^\"]*\"[ + ]*\\(\"[^\"]*\"\\)[^()]*)") + (let ((docstring (match-string 1))) + (backward-sexp) + (kill-sexp) + (insert (format "(defconst emacs-pasp-version \"%s\" %s)" + #$version docstring)) + (basic-save-buffer)))))) + (add-after 'unpack 'hardcode-clingo + (lambda* (#:key inputs #:allow-other-keys) + (emacs-substitute-variables "pasp-mode.el" + ("pasp-clingo-path" + (search-input-file inputs "/bin/clingo")))))))) + (inputs (list clingo)) + (home-page "https://github.com/santifa/pasp-mode") + (synopsis "Major mode for editing Answer Set Programs.") + (description + "This package provides a major mode for editing answer set programs, +in particular ones that can be solved by @command{clingo}.") + (license license:gpl3+)))) + (define-public emacs-pdf-tools (package (name "emacs-pdf-tools") diff --git a/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch b/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch new file mode 100644 index 0000000000..39dc5d0253 --- /dev/null +++ b/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch @@ -0,0 +1,20 @@ +diff --git a/pasp-mode.el b/pasp-mode.el +index 7f83645..5daf08e 100644 +--- a/pasp-mode.el ++++ b/pasp-mode.el +@@ -199,9 +199,12 @@ + Argument ENCODING The current buffer which holds the problem encoding. + Optional argument INSTANCE The problem instance which is solved by the encoding. + If no instance it is assumed to be also in the encoding file." +- (if 'instance +- (concat pasp-clingo-path " " pasp-clingo-options " " encoding " " instance) +- (concat pasp-clingo-path " " pasp-clingo-options " " encoding))) ++ (if instance ++ (concat pasp-clingo-path " " pasp-clingo-options " " ++ (shell-quote-argument encoding) " " ++ (shell-quote-argument instance)) ++ (concat pasp-clingo-path " " pasp-clingo-options " " ++ (shell-quote-argument encoding)))) + + (defun pasp-run-clingo (encoding &optional instance) + "Run Clingo with some ASP input files. -- 2.39.1 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 11 12:00:08 2023 Received: (at 61434) by debbugs.gnu.org; 11 Feb 2023 17:00:08 +0000 Received: from localhost ([127.0.0.1]:43006 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQtEN-0004dQ-Lm for submit@debbugs.gnu.org; Sat, 11 Feb 2023 12:00:07 -0500 Received: from relay3-d.mail.gandi.net ([217.70.183.195]:54069) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQtEL-0004bH-QP for 61434@debbugs.gnu.org; Sat, 11 Feb 2023 12:00:06 -0500 Received: (Authenticated sender: admin@nicolasgoaziou.fr) by mail.gandi.net (Postfix) with ESMTPSA id 4399D60002; Sat, 11 Feb 2023 16:59:57 +0000 (UTC) From: Nicolas Goaziou To: Liliana Marie Prikler Subject: Re: [bug#61434] [PATCH] gnu: Add emacs-pasp-mode. References: <602f2c0db9881fdd663c9919b5783db950ac900b.camel@gmail.com> Date: Sat, 11 Feb 2023 17:59:55 +0100 In-Reply-To: <602f2c0db9881fdd663c9919b5783db950ac900b.camel@gmail.com> (Liliana Marie Prikler's message of "Sat, 11 Feb 2023 16:15:00 +0100") Message-ID: <87k00ouohg.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 61434 Cc: 61434@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hello, Liliana Marie Prikler writes: > * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New file. > * gnu/local.mk: Register it here. > * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): New variable. Thank you. Some comments follow. > + (source (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/santifa/pasp-mode.git") You can remove the ".git" suffix. > + (add-after 'unpack 'defconst-version > + (lambda _ > + (emacs-batch-edit-file "pasp-mode.el" > + '(progn > + (search-forward-regexp > + "(defcustom pasp-mode-version \"[^\"]*\"[ > + ]*\\(\"[^\"]*\"\\)[^()]*)") > + (let ((docstring (match-string 1))) > + (backward-sexp) > + (kill-sexp) > + (insert (format "(defconst emacs-pasp-version \"%s\" %s)" > + #$version docstring)) > + (basic-save-buffer)))))) This dance is not necessary. You can simply use `emacs-substitute-variables', change the value, and keep the defcustom. A defconst is not a constant in Elisp anyway. > + (synopsis "Major mode for editing Answer Set Programs.") You can remove the final full stop. It may be clearer to also mention "Potassco" so as to understand better the PASP acronym. > + (description > + "This package provides a major mode for editing answer set programs, > +in particular ones that can be solved by @command{clingo}.") I suggest "Answer Set Programs", since this seems to be a very specific thing. I didn't build it, but LGTM. Regards, -- Nicolas Goaziou From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 11 12:24:55 2023 Received: (at 61434) by debbugs.gnu.org; 11 Feb 2023 17:24:55 +0000 Received: from localhost ([127.0.0.1]:43139 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQtcM-0005Lc-NY for submit@debbugs.gnu.org; Sat, 11 Feb 2023 12:24:55 -0500 Received: from mail-ej1-f66.google.com ([209.85.218.66]:35364) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQtcK-0005LL-E3 for 61434@debbugs.gnu.org; Sat, 11 Feb 2023 12:24:53 -0500 Received: by mail-ej1-f66.google.com with SMTP id qw12so22892126ejc.2 for <61434@debbugs.gnu.org>; Sat, 11 Feb 2023 09:24:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=tA/ks7hNKOUSL/NcUKkqXwAHwEu/z1UEJ/JixCBXazg=; b=SQgxklT5moMdnIeXpaf7Ww6JjRKPztD4eHXrpWe7V5ZdKvSocnVoDoKvZpPrGbdrHr RFr7lBTrzGBM4JPB0ECMIu4zmBYTPlM6cRVnA2at5q21etHVNdzbWb173rTfLdN+S2vB vmotSb5M0RIASNWrJyp0K6xNCrBsWmxDdXBxN/ZTNF04Y9nreZLW5W3J3xRiVoXhXVi8 TuQ+D2KGenB+ShgCrPp52t9nzH1L5RapUqQ21MSso9RkaQrvdcWgaOmksudXW12uhavn h+do6BaucAXi8OEHcIl9O5OMNfrxZx1eMqGc3wmGDyLE5h9lg62eHvziANRwm3tDldPu Qrgg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=tA/ks7hNKOUSL/NcUKkqXwAHwEu/z1UEJ/JixCBXazg=; b=J6Fry+4Ij6toISNNghKyZMQYhAvHiwVl5yypxvLU09TtnnoGZ6TYicIb6v3vLwOKFp w1Br5L1rQVmBLPrtAOpmgNE1232jRnCZEjxlOf10GqTHD1Qas0yKZihfekkfmRXWQYd7 zC4ghVzWqIEa1sywkCleazziWe68j/Szws/8ZJGjdEdUTnWq8UG/xPxXGQyhiiaHhR6s pgrqfCQGajheN7aZw0Y8+MYmZcnmVN1uC51luvW0/5c9LXIgoUk4rDbZByYEsRH4lIc7 +BbgTscvf4TQm9mtdS8rnzH7q9IA7jf6SlFKzeGBT5E0IkcdIaAevHiRImDDsnLLkp2y eNMg== X-Gm-Message-State: AO0yUKUL52wjhPHdlMP2iLc2OrWr3uosu1WnrdqnMTm8E6UBBUQ0cwEL ml6rua3QML41c4fYQHBZG1U= X-Google-Smtp-Source: AK7set8zG0yrHYkV14XoDO0OSCTrOBXcZ2HEnJ5tNkQC7aBeX16eu10hDNYpo2dWm0CLmKtyKGqhQA== X-Received: by 2002:a17:906:81c2:b0:84d:4e9b:ace5 with SMTP id e2-20020a17090681c200b0084d4e9bace5mr18971090ejx.67.1676136286510; Sat, 11 Feb 2023 09:24:46 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id m17-20020a50c191000000b004a22ed9030csm4012692edf.56.2023.02.11.09.24.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 11 Feb 2023 09:24:46 -0800 (PST) Message-ID: <9ba747623b03c33b97e10070e803886909e5f5cc.camel@gmail.com> Subject: Re: [bug#61434] [PATCH] gnu: Add emacs-pasp-mode. From: Liliana Marie Prikler To: Nicolas Goaziou Date: Sat, 11 Feb 2023 18:24:43 +0100 In-Reply-To: <87k00ouohg.fsf@nicolasgoaziou.fr> References: <602f2c0db9881fdd663c9919b5783db950ac900b.camel@gmail.com> <87k00ouohg.fsf@nicolasgoaziou.fr> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.46.0 MIME-Version: 1.0 X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Am Samstag, dem 11.02.2023 um 17:59 +0100 schrieb Nicolas Goaziou: > > +     (source (origin > > +              (method git-fetch) > > +              (uri (git-reference [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.218.66 listed in bl.score.senderscore.com] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.66 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.218.66 listed in list.dnswl.org] 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders X-Debbugs-Envelope-To: 61434 Cc: 61434@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) QW0gU2Ftc3RhZywgZGVtIDExLjAyLjIwMjMgdW0gMTc6NTkgKzAxMDAgc2NocmllYiBOaWNvbGFz IEdvYXppb3U6Cj4gPiArwqDCoMKgwqAgKHNvdXJjZSAob3JpZ2luCj4gPiArwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgKG1ldGhvZCBnaXQtZmV0Y2gpCj4gPiArwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgKHVyaSAoZ2l0LXJlZmVyZW5jZQo+ID4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgICh1cmwKPiA+ICJodHRwczovL2dpdGh1Yi5jb20vc2FudGlmYS9wYXNw LW1vZGUuZ2l0IikKPiAKPiBZb3UgY2FuIHJlbW92ZSB0aGUgIi5naXQiIHN1ZmZpeC4KV2lsbCBk by4KCj4gPiArwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGFkZC1hZnRlciAndW5wYWNrICdkZWZjb25z dC12ZXJzaW9uCj4gPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChsYW1iZGEgXwo+ID4gK8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGVtYWNzLWJhdGNoLWVkaXQtZmlsZSAicGFzcC1t b2RlLmVsIgo+ID4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICcocHJvZ24KPiA+ ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHNlYXJjaC1mb3J3YXJkLXJl Z2V4cAo+ID4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqAgIihkZWZjdXN0b20gcGFzcC1tb2RlLXZlcnNpb24KPiA+IFwiW15cIl0qXCJbCj4gPiAr IF0qXFwoXCJbXlwiXSpcIlxcKVteKCldKikiKQo+ID4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoCAobGV0ICgoZG9jc3RyaW5nIChtYXRjaC1zdHJpbmcgMSkpKQo+ID4gK8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGJhY2t3YXJkLXNleHApCj4g PiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoa2lsbC1zZXhwKQo+ ID4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGluc2VydCAoZm9y bWF0ICIoZGVmY29uc3QgZW1hY3MtcGFzcC12ZXJzaW9uCj4gPiBcIiVzXCIgJXMpIgo+ID4gK8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoCAjJHZlcnNpb24gZG9jc3RyaW5nKSkKPiA+ICvCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChiYXNpYy1zYXZlLWJ1ZmZlcikpKSkpKQo+IAo+IFRo aXMgZGFuY2UgaXMgbm90IG5lY2Vzc2FyeS4gWW91IGNhbiBzaW1wbHkgdXNlCj4gYGVtYWNzLXN1 YnN0aXR1dGUtdmFyaWFibGVzJywgY2hhbmdlIHRoZSB2YWx1ZSwgYW5kIGtlZXAgdGhlCj4gZGVm Y3VzdG9tLiAgQSBkZWZjb25zdCBpcyBub3QgYSBjb25zdGFudCBpbiBFbGlzcCBhbnl3YXkuCkEg ZGVmY29uc3QgZG9lcyByYWlzZSBhIHdhcm5pbmcgaWYgaXQncyBjaGFuZ2VkLCBzbyBJJ2QgcmF0 aGVyIGRvIHRoYXQuCgo+ID4gK8KgwqDCoMKgIChzeW5vcHNpcyAiTWFqb3IgbW9kZSBmb3IgZWRp dGluZyBBbnN3ZXIgU2V0IFByb2dyYW1zLiIpCj4gCj4gWW91IGNhbiByZW1vdmUgdGhlIGZpbmFs IGZ1bGwgc3RvcC4KV2lsbCBkbyB0aGF0LgoKPiBJdCBtYXkgYmUgY2xlYXJlciB0byBhbHNvIG1l bnRpb24gIlBvdGFzc2NvIiBzbyBhcyB0byB1bmRlcnN0YW5kCj4gYmV0dGVyIHRoZSBQQVNQIGFj cm9ueW0uClNvbWV3aGF0IHVuc3VyZSBhYm91dCB0aGlzLgoKPiA+ICvCoMKgwqDCoCAoZGVzY3Jp cHRpb24KPiA+ICvCoMKgwqDCoMKgICJUaGlzIHBhY2thZ2UgcHJvdmlkZXMgYSBtYWpvciBtb2Rl IGZvciBlZGl0aW5nIGFuc3dlciBzZXQKPiA+IHByb2dyYW1zLAo+ID4gK2luIHBhcnRpY3VsYXIg b25lcyB0aGF0IGNhbiBiZSBzb2x2ZWQgYnkgQGNvbW1hbmR7Y2xpbmdvfS4iKQo+IAo+IEkgc3Vn Z2VzdCAiQW5zd2VyIFNldCBQcm9ncmFtcyIsIHNpbmNlIHRoaXMgc2VlbXMgdG8gYmUgYSB2ZXJ5 Cj4gc3BlY2lmaWMgdGhpbmcuCkFsc28gdW5zdXJlIGFib3V0IHRoaXMsIHNpbmNlIHRoZXJlIGRv ZXNuJ3Qgc2VlbSB0byBiZSBhIGNvaGVyZW50IHRlcm0Kc2hhcmVkIGFtb25nIHRoZSBjbGluZ28g cGFja2FnZXMgYW5kIGlmIHdlIGRvIHRoYXQsIEkgdGhpbmsgaXQgc2hvdWxkCmJlIGFwcGxpZWQg YWNyb3NzIHRoZSBib2FyZC4KCkNoZWVycwo= From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 11 13:56:08 2023 Received: (at 61434) by debbugs.gnu.org; 11 Feb 2023 18:56:09 +0000 Received: from localhost ([127.0.0.1]:43183 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQv2e-0007uU-Jr for submit@debbugs.gnu.org; Sat, 11 Feb 2023 13:56:08 -0500 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:52511) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQv2Z-0007tp-M2 for 61434@debbugs.gnu.org; Sat, 11 Feb 2023 13:56:07 -0500 Received: (Authenticated sender: admin@nicolasgoaziou.fr) by mail.gandi.net (Postfix) with ESMTPSA id EC02DC0004; Sat, 11 Feb 2023 18:55:54 +0000 (UTC) From: Nicolas Goaziou To: Liliana Marie Prikler Subject: Re: [bug#61434] [PATCH] gnu: Add emacs-pasp-mode. References: <602f2c0db9881fdd663c9919b5783db950ac900b.camel@gmail.com> <87k00ouohg.fsf@nicolasgoaziou.fr> <9ba747623b03c33b97e10070e803886909e5f5cc.camel@gmail.com> Date: Sat, 11 Feb 2023 19:55:48 +0100 In-Reply-To: <9ba747623b03c33b97e10070e803886909e5f5cc.camel@gmail.com> (Liliana Marie Prikler's message of "Sat, 11 Feb 2023 18:24:43 +0100") Message-ID: <87bkm0uj4b.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 61434 Cc: 61434@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Liliana Marie Prikler writes: >> This dance is not necessary. You can simply use >> `emacs-substitute-variables', change the value, and keep the >> defcustom. A defconst is not a constant in Elisp anyway. > A defconst does raise a warning if it's changed, so I'd rather do > that. It seems that you are trying to fix a design issue without any serious usability consequence (who is going to set this variable anyway? Why would it matter to us?). I believe this kind of fix is out of the scope of a package definition. Besides, it makes the definition less readable, to say the least. The regexp itself is appalling (not that you can do much about it, of course). If you really insist of changing this defcustom, maybe 1. search forward for "defcustom pasp-mode-version" 2. kill next regexp 3. insert "#$version" 4. search backward for "defcustom", 5. replace match with "defconst". It would still be awful (no serious regexp), but possibly slightly less so. From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 12 03:23:54 2023 Received: (at 61434) by debbugs.gnu.org; 12 Feb 2023 08:23:54 +0000 Received: from localhost ([127.0.0.1]:43971 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pR7eL-0007WL-Ma for submit@debbugs.gnu.org; Sun, 12 Feb 2023 03:23:54 -0500 Received: from mail-ej1-f68.google.com ([209.85.218.68]:35832) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pR7eJ-0007Vz-Nz for 61434@debbugs.gnu.org; Sun, 12 Feb 2023 03:23:52 -0500 Received: by mail-ej1-f68.google.com with SMTP id qw12so25234243ejc.2 for <61434@debbugs.gnu.org>; Sun, 12 Feb 2023 00:23:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:cc:to:subject:date:from:from:to:cc:subject :date:message-id:reply-to; bh=ChsvYC0mrD4SgHhvcbBE4AMw/fmrMCpVOn0h26oAZ9s=; b=Kn3LAT1u/D5749L6wqpqoFEq9TEdkJm8JBMY06D0tddISMd/LZZaXkkMoBH61+bIkB FF/8JfPYwJl9e4hYeiseYTafVaGQosB1GbtIRRAon8w0aAetJCUbNA18htjJ65xnY/I6 BZG0ZYr+amRyLbvQMsK8EDasZwL+yH6nTNx9e5jIwE4GNxmbIcIQa7SgdutluMIam9aK Hq6uA7OXy1fCTHTp5nuFA+hVXineMnZu8eQCA/+UhfHRlwgjaObztCherY6lCWCS0B0K OkMZXTcyqjqXNvqljuaXiY8YIFyaoRjCF/gnWnaaKpk/5K2/jWUW4owP38SVEahlTzf+ Ey6g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:cc:to:subject:date:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=ChsvYC0mrD4SgHhvcbBE4AMw/fmrMCpVOn0h26oAZ9s=; b=RacOac9bZd9YlUSEB6zc1PozSkKtwzeIk0/a3m5jytJPm1LYY1Q9P2bsHHqJRG9joY JrgPuIVZP7aw+PMbCCLDgyHu0SfUsDzY9D6EWxE41j5BmjUO8+YjBD6oLR7mbVcAjcTp loWbcuI+Ksl3WgEoumvZhDBDpfowcrK891P5apgUO0p0HrFgoIRcX+vAeSvDG6bptcqk QdBfJAlN0e00YRWLTVwdEwGLgqoEOCkWPtOG0ZsU16ETEwfy41lwv6xfpmHLvoRpLXCL MfZr0pdSacCHAwqXLdwR3FWZqtn2opkK92QTrnQD5R4o22jRcErs9Yb3nAoSpDkxh4nO YFog== X-Gm-Message-State: AO0yUKVBhoFv+jUfRY3l+Z/kCmiLBdIkoh063DuIe16wpgfmndDe59VC CBg+DTa86jQI7YobhnYVhBnDkxVChPvugw== X-Google-Smtp-Source: AK7set+/SxJEHwPf+xEpg/7eyzaqmJawnZcNfOV/UVn5s8Uj0Ld8FSLxjErTPl3X8NJpqduMDGMitw== X-Received: by 2002:a17:907:3fa9:b0:878:5da4:77a6 with SMTP id hr41-20020a1709073fa900b008785da477a6mr29256659ejc.51.1676190225837; Sun, 12 Feb 2023 00:23:45 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id g25-20020a170906349900b0088519b92074sm4997840ejb.128.2023.02.12.00.23.44 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 12 Feb 2023 00:23:45 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 11 Feb 2023 16:15:00 +0100 Subject: [PATCH] gnu: Add emacs-pasp-mode. to: 61434@debbugs.gnu.org Message-ID: MIME-Version: 1.0 X-Spam-Score: 2.1 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New file. * gnu/local.mk: Register it here. * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): New variable. --- gnu/local.mk | 1 + gnu/pack [...] Content analysis details: (2.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.218.68 listed in bl.score.senderscore.com] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 0.8 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.68 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.218.68 listed in list.dnswl.org] 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders X-Debbugs-Envelope-To: 61434 Cc: Nicolas Goaziou X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.1 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New file. * gnu/local.mk: Register it here. * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): New variable. --- gnu/local.mk | 1 + gnu/pack [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.68 listed in wl.mailspike.net] 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.218.68 listed in bl.score.senderscore.com] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.218.68 listed in list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 0.8 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New file. * gnu/local.mk: Register it here. * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): New variable. --- gnu/local.mk | 1 + gnu/packages/emacs-xyz.scm | 48 +++++++++++++++++++ .../emacs-pasp-mode-quote-file-names.patch | 20 ++++++++ 3 files changed, 69 insertions(+) create mode 100644 gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch diff --git a/gnu/local.mk b/gnu/local.mk index dc230d30d9..efbee0238b 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1071,6 +1071,7 @@ dist_patch_DATA = \ %D%/packages/patches/emacs-highlight-stages-add-gexp.patch \ %D%/packages/patches/emacs-lispy-fix-thread-last-test.patch \ %D%/packages/patches/emacs-native-comp-driver-options.patch \ + %D%/packages/patches/emacs-pasp-mode-quote-file-names.patch \ %D%/packages/patches/emacs-polymode-fix-lexical-variable-error.patch \ %D%/packages/patches/emacs-source-date-epoch.patch \ %D%/packages/patches/emacs-telega-path-placeholder.patch \ diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 729c190969..49fa5df7e1 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -203,6 +203,7 @@ (define-module (gnu packages emacs-xyz) #:use-module (gnu packages lisp-xyz) #:use-module (gnu packages lsof) #:use-module (gnu packages lua) + #:use-module (gnu packages maths) #:use-module (gnu packages music) #:use-module (gnu packages version-control) #:use-module (gnu packages imagemagick) @@ -4387,6 +4388,53 @@ (define-public emacs-pabbrev during idle time, while Emacs is doing nothing else.") (license license:gpl3+))) +(define-public emacs-pasp-mode + (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92") + (revision "1")) + (package + (name "emacs-pasp-mode") + (version (git-version "0.1.0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/santifa/pasp-mode") + (commit commit))) + (patches + (search-patches "emacs-pasp-mode-quote-file-names.patch")) + (sha256 + (base32 + "1ar4vws3izzmir7m870mccci620ns3c5j26dcmwaxavhgw45wcmf")))) + (build-system emacs-build-system) + (arguments + (list + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'defconst-version + (lambda _ + (emacs-batch-edit-file "pasp-mode.el" + '(progn + (search-forward-regexp "(defcustom pasp-mode-version") + (forward-sexp) + (kill-sexp) + (backward-sexp) + (beginning-of-line) + (kill-sexp) + (insert (format "(defconst emacs-pasp-version \"%s\" %s)" + #$version (cadr kill-ring))) + (basic-save-buffer))))) + (add-after 'unpack 'hardcode-clingo + (lambda* (#:key inputs #:allow-other-keys) + (emacs-substitute-variables "pasp-mode.el" + ("pasp-clingo-path" + (search-input-file inputs "/bin/clingo")))))))) + (inputs (list clingo)) + (home-page "https://github.com/santifa/pasp-mode") + (synopsis "Major mode for editing answer set programs") + (description + "This package provides a major mode for editing answer set programs, +in particular ones that can be solved by @command{clingo}.") + (license license:gpl3+)))) + (define-public emacs-pdf-tools (package (name "emacs-pdf-tools") diff --git a/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch b/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch new file mode 100644 index 0000000000..39dc5d0253 --- /dev/null +++ b/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch @@ -0,0 +1,20 @@ +diff --git a/pasp-mode.el b/pasp-mode.el +index 7f83645..5daf08e 100644 +--- a/pasp-mode.el ++++ b/pasp-mode.el +@@ -199,9 +199,12 @@ + Argument ENCODING The current buffer which holds the problem encoding. + Optional argument INSTANCE The problem instance which is solved by the encoding. + If no instance it is assumed to be also in the encoding file." +- (if 'instance +- (concat pasp-clingo-path " " pasp-clingo-options " " encoding " " instance) +- (concat pasp-clingo-path " " pasp-clingo-options " " encoding))) ++ (if instance ++ (concat pasp-clingo-path " " pasp-clingo-options " " ++ (shell-quote-argument encoding) " " ++ (shell-quote-argument instance)) ++ (concat pasp-clingo-path " " pasp-clingo-options " " ++ (shell-quote-argument encoding)))) + + (defun pasp-run-clingo (encoding &optional instance) + "Run Clingo with some ASP input files. -- 2.39.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 19 02:43:04 2023 Received: (at 61434-done) by debbugs.gnu.org; 19 Feb 2023 07:43:04 +0000 Received: from localhost ([127.0.0.1]:45592 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pTeLf-0002nw-Qs for submit@debbugs.gnu.org; Sun, 19 Feb 2023 02:43:03 -0500 Received: from mail-ed1-f66.google.com ([209.85.208.66]:42693) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pTeLe-0002nF-E8 for 61434-done@debbugs.gnu.org; Sun, 19 Feb 2023 02:43:02 -0500 Received: by mail-ed1-f66.google.com with SMTP id et7so915878edb.9 for <61434-done@debbugs.gnu.org>; Sat, 18 Feb 2023 23:43:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=Z9mAqYVN4g0F2Q6rMpUPoxxC7AQlmYTHoePkaJu0TZA=; b=cjx22IFyQT0ZpM1ni1IVHF7cavbUUMTS6KMR1oeVdA9n9dHGYTBeKU677Q4QRDJccd SAS8Ba7ZmI5lDmZIGV52zfmuoLBGX7msevJoSS4w2IJOLcc3ovzcgKh2Ae5tuHTcTyak eUYDwkrJieODqrD8of87BHTjxxeAUjw4DK9+p0XIGqH4ubbb9rWTPLmdKqqrjacMrrT4 7T/5oM0lSCwQXZYRy46uX3IKJXCcOiTtYrMdZM7MqVnnOFeLUDb8yQ/mDuQ3vmni4NI2 3QAP+yreCAH26zxBdWvyEPw+fXUMtO3TS/w4ThffQIalbMldA0sLvzMLnTisOxEogyn7 hWfw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=Z9mAqYVN4g0F2Q6rMpUPoxxC7AQlmYTHoePkaJu0TZA=; b=X2B0btAl+PzpDfVqMTEHll+XD2R94e/DfZQqsECE3fkvI7zwML/CHGpGjJYu8vFRqL AGqLOM9mgaDDG0rwGkRxdHcjZ8WtgIKwXrpDCZCjLZ3cNMDh7XPe8568KBLNBid1IbR+ nLEceiatpE50VIm9XwjgZlsdv7M0HVdOYjR1v3TdNa+/EB/4stsE5YLKyophsdS4edwf 72OPHyqOyHm6M2SOIvFZzp4vKm2Bm4ppXKXjAVwuv//GiRXZ9b+FF0baoWcmWq0YbRyV OyVAulyPm7K17LxV7daCAMfgZ0ssEJ/tqO8w6LwioiDMvWFwAPUavWOFnpSDx0w0s2a1 LuxA== X-Gm-Message-State: AO0yUKWKny4ckqHKaizXkF77YPM/ySE6pn/L3vUXkuToD8No/UB9AHYj c5MRMPN2Vx7LI9nsNr+AlH7sFc3SKnSWmw== X-Google-Smtp-Source: AK7set9M2W4ByxFSKBcLqjH4F5LkYQVeSBzCDPaON73eqhp/YVCCXvu0KOS5mJlYyB32IraTMQ4IVA== X-Received: by 2002:a17:906:aac5:b0:8b1:7a83:1a33 with SMTP id kt5-20020a170906aac500b008b17a831a33mr8081304ejb.54.1676792576628; Sat, 18 Feb 2023 23:42:56 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id y17-20020a17090629d100b008ca37f3eae9sm603771eje.131.2023.02.18.23.42.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 18 Feb 2023 23:42:56 -0800 (PST) Message-ID: Subject: Re: [PATCH] gnu: Add emacs-pasp-mode. From: Liliana Marie Prikler To: 61434-done@debbugs.gnu.org Date: Sun, 19 Feb 2023 08:42:55 +0100 In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.0 MIME-Version: 1.0 X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Am Samstag, dem 11.02.2023 um 16:15 +0100 schrieb Liliana Marie Prikler: > * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New > file. > * gnu/local.mk: Register it here. > * gnu/packag [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.208.66 listed in list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.208.66 listed in bl.score.senderscore.com] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.66 listed in wl.mailspike.net] X-Debbugs-Envelope-To: 61434-done Cc: Nicolas Goaziou X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) Am Samstag, dem 11.02.2023 um 16:15 +0100 schrieb Liliana Marie Prikler: > * gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch: New > file. > * gnu/local.mk: Register it here. > * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): New variable. Pushed. From unknown Wed Sep 10 17:01:38 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 19 Mar 2023 11:24:08 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator