mirror/archivebox
1
0
Fork 0
mirror of https://github.com/pirate/ArchiveBox.git synced 2025-08-30 01:30:15 +02:00
Code Issues Releases Wiki Activity

fix CURL_USER_AGENT missing from config stubs

Browse Source
This commit is contained in:
Nick Sweeting
2020-06-30 01:10:21 -04:00
parent 4783daa6fa
commit 912cbb22d5
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
archivebox/config/stubs.py
View File

@@ -48,6 +48,7 @@ class ConfigDict(BaseConfig, total=False):
RESOLUTION: str RESOLUTION: str
GIT_DOMAINS: str GIT_DOMAINS: str
CHECK_SSL_VALIDITY: bool CHECK_SSL_VALIDITY: bool
CURL_USER_AGENT: str
WGET_USER_AGENT: str WGET_USER_AGENT: str
CHROME_USER_AGENT: str CHROME_USER_AGENT: str
COOKIES_FILE: Optional[str] COOKIES_FILE: Optional[str]