Adrien Vergé 8c839a20c2 Config: Detect user config using os.path.expanduser() ...

Instead of `$HOME`, since the former works when `$HOME` is not set.

[1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828033#10

2016-06-24 18:41:45 +02:00

3.0 KiB

Raw Blame History

View Raw