bug-global
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Alternative filename for local configuration.


From: Shigio YAMAGUCHI
Subject: Re: [PATCH] Alternative filename for local configuration.
Date: Tue, 7 Mar 2017 08:32:19 +0900

Hi,
> would you consider checking for alternative local
> configuration filename: ".gtags.conf"?

OK. I also dislike a name '.globalrc'.
But it may be also undesirable to create a new dot file.
The XDG guidelines recommend that applications store their configuration
in $XDG_CONFIG_HOME/<app>. How about following this?

XDG Base Directory Specification
[https://specifications.freedesktop.org/basedir-spec/latest/index.html]

According to this specification, the configuration priority of GLOBAL seems to
become like follows:

       (1) --gtagsconf file

       (2) $GTAGSCONF

       (3) [project root]/gtags.conf

       (4) $HOME/.globalrc

       (5) $XDG_CONFIG_HOME/gtags/gtags.conf          <= New

       (6) $HOME/.config/gtags/gtags.conf             <= New

       (7) /etc/gtags.conf

       (8) [sysconfdir]/gtags.conf

What do you think?

Regards,
Shigio


2017-03-07 2:07 GMT+09:00 Jacek Migacz <address@hidden>:
Hi Shiyao-san,

would you consider checking for alternative local configuration filename: ".gtags.conf"?

Regards,
--
Jacek Migacz

_______________________________________________
Bug-global mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/bug-global




--
Shigio YAMAGUCHI <address@hidden>
PGP fingerprint: 
26F6 31B4 3D62 4A92 7E6F  1C33 969C 3BE3 89DD A6EB (Currently in use)
D1CB 0B89 B346 4AB6 5663  C4B6 3CA5 BBB3 57BE DDA3 (Used until 2017/2)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]