[DMD] [PATCH] doc: Fix location of default user dmd configuration file.

[DMD] [PATCH] doc: Fix location of default user dmd configuration file.

[David Thompson]

[-- Attachment #1: Type: text/plain, Size: 112 bytes --]

While setting up dmd as a user service manager, the docs let me astray
and I put my config in the wrong place.


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-doc-Fix-location-of-default-user-dmd-configuration-f.patch --]
[-- Type: text/x-diff, Size: 1049 bytes --]

From 5604ea6b3760b3289dd7617c57910669f5b3922e Mon Sep 17 00:00:00 2001
From: David Thompson <dthompson2@worcester.edu>
Date: Sat, 2 May 2015 18:58:44 -0400
Subject: [PATCH] doc: Fix location of default user dmd configuration file.

* dmd.texi ("Jump Start"): Document the real default user config file.
---
 dmd.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dmd.texi b/dmd.texi
index 1889c1c..206f0a2 100644
--- a/dmd.texi
+++ b/dmd.texi
@@ -140,7 +140,7 @@ mentioned below.
 When dmd gets started, it reads and evaluates a configuration file.  When it is
 started with superuser priviledges, it tries to use
 @code{/etc/dmdconf.scm}, when started as normal user, it looks for a
-file called @code{.dmdconf.scm} in the user's home directory.  With the
+file called @code{.dmd.d/init.scm} in the user's home directory.  With the
 option @code{--config} (or, for short, @code{-c}), you can specify
 where to look instead.  So if you want to start dmd with an
 alternative file, use one of the following commands:
-- 
2.1.4


[-- Attachment #3: Type: text/plain, Size: 136 bytes --]


-- 
David Thompson
Web Developer - Free Software Foundation - http://fsf.org
GPG Key: 0FF1D807
Support the FSF: https://fsf.org/donate

Re: [DMD] [PATCH] doc: Fix location of default user dmd configuration file.

[Ludovic Courtès]

David Thompson <dthompson2@worcester.edu> skribis:

> From 5604ea6b3760b3289dd7617c57910669f5b3922e Mon Sep 17 00:00:00 2001
> From: David Thompson <dthompson2@worcester.edu>
> Date: Sat, 2 May 2015 18:58:44 -0400
> Subject: [PATCH] doc: Fix location of default user dmd configuration file.
>
> * dmd.texi ("Jump Start"): Document the real default user config file.

Pushed, thanks!

Ludo’.