GNU bug report logs - #70802
[PATCH] .dir-locals: Configure indentation for swap-space.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#70802: closed ([PATCH] .dir-locals: Configure indentation for
 swap-space.)
Date: Mon, 13 May 2024 12:50:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 13 May 2024 14:49:27 +0200
with message-id <87frulanc8.fsf <at> gnu.org>
and subject line Re: [bug#70802] [PATCH] .dir-locals: Configure indentation for swap-space.
has caused the debbugs.gnu.org bug report #70802,
regarding [PATCH] .dir-locals: Configure indentation for swap-space.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
70802: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70802
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Tomas Volf <~@wolfsden.cz>
To: guix-patches <at> gnu.org
Cc: Tomas Volf <~@wolfsden.cz>
Subject: [PATCH] .dir-locals: Configure indentation for swap-space.
Date: Mon,  6 May 2024 16:40:35 +0200

* .dir-locals.el (scheme-mode): Indent swap-space same as file-system.

Change-Id: Id9f2cbd3c81343b479ab1e4df29c65f8b5bd739f
---
This should ensure that swap-space has same indentation as file-system records.

 .dir-locals.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.dir-locals.el b/.dir-locals.el
index 2d1a03c313..d2f6037afe 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -83,6 +83,7 @@
    (eval . (put 'graft 'scheme-indent-function 0))
    (eval . (put 'operating-system 'scheme-indent-function 0))
    (eval . (put 'file-system 'scheme-indent-function 0))
+   (eval . (put 'swap-space 'scheme-indent-function 0))
    (eval . (put 'manifest-entry 'scheme-indent-function 0))
    (eval . (put 'manifest-pattern 'scheme-indent-function 0))
    (eval . (put 'substitute-keyword-arguments 'scheme-indent-function 1))

base-commit: 609576391928c3b497fb4c17b2d2e1448715aa94
--
2.41.0

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Tomas Volf <~@wolfsden.cz>
Cc: 70802-done <at> debbugs.gnu.org
Subject: Re: [bug#70802] [PATCH] .dir-locals: Configure indentation for
 swap-space.
Date: Mon, 13 May 2024 14:49:27 +0200

Tomas Volf <~@wolfsden.cz> skribis:

> * .dir-locals.el (scheme-mode): Indent swap-space same as file-system.
>
> Change-Id: Id9f2cbd3c81343b479ab1e4df29c65f8b5bd739f
> ---
> This should ensure that swap-space has same indentation as file-system records.

Applied, thanks!

(guix read-print) already had it.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.