Merge pull request #9430 from kdeldycke/batch_file_home_expansion
Expand user's home in batch file path.
This commit is contained in:
commit
d013b26719
1 changed files with 3 additions and 1 deletions
|
@ -86,7 +86,9 @@ def _real_main(argv=None):
|
||||||
if opts.batchfile == '-':
|
if opts.batchfile == '-':
|
||||||
batchfd = sys.stdin
|
batchfd = sys.stdin
|
||||||
else:
|
else:
|
||||||
batchfd = io.open(opts.batchfile, 'r', encoding='utf-8', errors='ignore')
|
batchfd = io.open(
|
||||||
|
compat_expanduser(opts.batchfile),
|
||||||
|
'r', encoding='utf-8', errors='ignore')
|
||||||
batch_urls = read_batch_urls(batchfd)
|
batch_urls = read_batch_urls(batchfd)
|
||||||
if opts.verbose:
|
if opts.verbose:
|
||||||
write_string('[debug] Batch file urls: ' + repr(batch_urls) + '\n')
|
write_string('[debug] Batch file urls: ' + repr(batch_urls) + '\n')
|
||||||
|
|
Loading…
Reference in a new issue