diff options
author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-07-06 15:26:24 +0100 |
---|---|---|
committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-07-06 15:45:08 +0100 |
commit | 0922678fc40fd13e70c32c1543f922962a35bbb7 (patch) | |
tree | bc6335fa61a5d2e121c11b9779cd373cc091a350 /player | |
parent | 01d8aad1e847732808f2b70085b664088ab1c517 (diff) | |
download | mpv-0922678fc40fd13e70c32c1543f922962a35bbb7.tar.bz2 mpv-0922678fc40fd13e70c32c1543f922962a35bbb7.tar.xz |
options/path: fallback to USERPROFILE if HOME isn't set
HOME isn't set by default on Windows. But if the user does set it,
prefer it by default.
Enables stuff like --log-file=~/mpv.log to work, even if HOME isn't set.
Diffstat (limited to 'player')
0 files changed, 0 insertions, 0 deletions