Resources directory written to '?/.config' when inside Docker container

[pml-lang]

Resources directory written to '?/.config' when inside Docker container

[pml-lang]

The root directory for config data is determined by function userConfigDirectory in DirectoryConfig.java.

Here are the relevant Java statements:

} else if ( OSName.isUnixOS() ) {
    path = System.getenv ( "XDG_CONFIG_HOME" );
    if ( path == null ) {
        path = OSDirectories.USER_HOME_DIRECTORY + "/.config";
    }

As can be seen: The config root directory is retrieved from the OS environment variable XDG_CONFIG_HOME. If this variable is not defined then OSDirectories.USER_HOME_DIRECTORY + "/.config" is used. OSDirectories.USER_HOME_DIRECTORY is defined as follows:

USER_HOME_DIRECTORY = Path.of ( System.getProperty ( "user.home" ) );

It seems that inside your container context:

• XDG_CONFIG_HOME is not defined
• System.getProperty ( "user.home" ) returns ?

... which is the reason why the path evaluates to ?/.config.

Hence I suggest to explicitly specify the config root directory by defining OS environment variable XDG_CONFIG_HOME in your Docker config file.

Please let me know if this solves your problem.

PS: To avoid this situation in the future, all functions in DirectoryConfig.java using OSDirectories.USER_HOME_DIRECTORY (i.e. System.getProperty ( "user.home" )) should check this value. If it is ?, then there should be a helpful message displayed in the terminal, so that the user knows how to solve the problem.

[pml-lang]

all functions OSDirectories.USER_HOME_DIRECTORY (i.e. System.getProperty ( "user.home" )) should check this value. If it is ?, then there should be a helpful message

Fixed in version 4.0.0.