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 /demux | |
| 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 'demux')
0 files changed, 0 insertions, 0 deletions