Re: [PATCH] Update get_standard_cache_dir for macOS

[Tom Tromey <tom@tromey.com>]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

>> For the documentation, I'm happy to change it however you like.

Eli> I just voiced my opinion that this detail about macOS, and only about
Eli> it, seems at odds with our general tendency not to describe
Eli> proprietary systems in too much detail.  But I'm not going to block
Eli> this change just because I was surprised.  I wonder what others think.

I guess I didn't really give it much thought.  I wouldn't mind being
more vague.  What about something like:

    The default value for this directory depends on the host platform.  On
    most systems, the index is cached in the @file{gdb} subdirectory of
    the directory pointed to by the @env{XDG_CACHE_HOME} environment
    variable, if it is defined, else in the @file{.cache/gdb} subdirectory
    of your home directory.  However, on some systems, the default may
    differ according to local convention.

I think it's no big deal for users to use "show index-cache directory" 
if they really care about the value.

Tom