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

Previous Next

Full log

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

Previous Next

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