GNU bug report logs - #74465
[PATCH] .dir-locals.el: Configure indentation for home-environment.

Previous Next

Package: guix-patches;

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

Date: Thu, 21 Nov 2024 20:22: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 74465 in the body.
You can then email your comments to 74465 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#74465; Package guix-patches. (Thu, 21 Nov 2024 20:22: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. (Thu, 21 Nov 2024 20:22: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.el: Configure indentation for home-environment.
Date: Thu, 21 Nov 2024 21:20:48 +0100

* .dir-locals.el (scheme-mode): Indent home-environment same as
operating-system.

Change-Id: Ie2cfa58f02d081c1e331c7d30beb77f0868f5cdd
---
 .dir-locals.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.dir-locals.el b/.dir-locals.el
index 201ebd4198..211f5d9afb 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -97,6 +97,7 @@
    (eval . (put 'bag 'scheme-indent-function 0))
    (eval . (put 'graft 'scheme-indent-function 0))
    (eval . (put 'operating-system 'scheme-indent-function 0))
+   (eval . (put 'home-environment '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))
-- 
2.46.0
Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Fri, 29 Nov 2024 14:00:02 GMT) Full text and rfc822 format available.
Notification sent to Tomas Volf <~@wolfsden.cz>:
bug acknowledged by developer. (Fri, 29 Nov 2024 14:00:02 GMT) Full text and rfc822 format available.

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Tomas Volf <~@wolfsden.cz>
Cc: 74465-done <at> debbugs.gnu.org
Subject: Re: [bug#74465] [PATCH] .dir-locals.el: Configure indentation for
 home-environment.
Date: Fri, 29 Nov 2024 14:59:12 +0100

Tomas Volf <~@wolfsden.cz> skribis:

> * .dir-locals.el (scheme-mode): Indent home-environment same as
> operating-system.
>
> Change-Id: Ie2cfa58f02d081c1e331c7d30beb77f0868f5cdd

Applied!
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 28 Dec 2024 12:24:14 GMT) Full text and rfc822 format available.
This bug report was last modified 229 days ago.

Previous Next

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