CLI: mirror: use -o directory if any (ticket #193)

This commit is contained in:
gitlost 2022-12-05 12:55:28 +00:00
parent ad1b091ed1
commit 831c704b7b
6 changed files with 75 additions and 30 deletions

View file

@ -1372,7 +1372,8 @@ so the filename may vary from the data if the data includes non-printable
characters, for example, and may be shortened if the data input is long.
To set the output file format use the `--filetype` option as detailed above in
[4.12 Direct Output].
[4.12 Direct Output]. To output to a specific directory use the `-o` option
giving the name of the directory (any filename will be ignored).
## 4.14 Working with Dots