From 2cd16124f8cd1f3ff527b37cb7d18a7b818841af Mon Sep 17 00:00:00 2001 From: nytpu Date: Tue, 23 Mar 2021 08:12:53 -0600 Subject: add timeout flag to refresh --- doc/comitium.1.scd | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'doc/comitium.1.scd') 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 -- cgit v1.2.3