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

Previous Next

Package: guix-patches;

Reported by: Tomas Volf <~@wolfsden.cz>

Date: Mon, 6 May 2024 14:43:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 70802 in the body.
You can then email your comments to 70802 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to guix-patches <at> gnu.org:
bug#70802; Package guix-patches. (Mon, 06 May 2024 14:43:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Tomas Volf <~@wolfsden.cz>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Mon, 06 May 2024 14:43:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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




Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Mon, 13 May 2024 12:50:02 GMT) Full text and rfc822 format available.

Notification sent to Tomas Volf <~@wolfsden.cz>:
bug acknowledged by developer. (Mon, 13 May 2024 12:50:02 GMT) Full text and rfc822 format available.

Message #10 received at 70802-done <at> debbugs.gnu.org (full text, mbox):

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.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 12 Jun 2024 11:24:05 GMT) Full text and rfc822 format available.

This bug report was last modified 1 year and 7 days ago.

Previous Next


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