diff options
Diffstat (limited to 'doc/comitium.1.scd')
| -rw-r--r-- | doc/comitium.1.scd | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/comitium.1.scd b/doc/comitium.1.scd index 607d911..0d12540 100644 --- a/doc/comitium.1.scd +++ b/doc/comitium.1.scd @@ -33,7 +33,7 @@ variety of feed formats: automatically picked depending on the feed type. For Gemini feeds, the first heading on a page is used as a title. For ATOM, RSS, and JSON feeds, the provided title is used. For a page being watched for changes, the URL - itself is used. + itself is used. Use *-w* to watch a page for changes. Also to note: when adding a new subscription, you *do not* need to run *refresh* afterwards, *add* will automatically fetch the entries and regenerate the .gmi and .json files. @@ -68,6 +68,10 @@ command-specific flags that are not universally recognized. the servers you're hitting and to other people on your network. Defaults to 5. +*-t* _NUM_, *--timeout* _NUM_ + Set a timeout for requests, in seconds. Defaults to 10 seconds per + request. + ## ADD FLAGS *-w*, *--watch* @@ -115,7 +119,9 @@ Within the data directory, the following files are used: *header.gmi* This file is neither created nor modified by comitium. If it exists and is nonempty, then it is read and used as custom header for *feed.gmi*. If it - doesn't exist or is empty, then a default header is used. + doesn't exist or is empty, then a default header is used. The generated + contents of *feed.gmi* will be appended to the contents of *header.gmi* + separated by one newline. *feed.gmi* The outputted text/gemini file containing the subscription items. Is what |