Mirrors/ArchiveBox
2
0
Fork 0
mirror of https://github.com/ArchiveBox/ArchiveBox synced 2024-11-26 14:10:20 +00:00
Code Issues Projects Releases Packages Wiki Activity

Update config.py

Browse source
This commit is contained in:
Nick Sweeting 2019-01-14 22:46:35 -05:00 committed by GitHub
parent c42fcd42d7
commit cc8611de83
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
archivebox/config.py
View file

@ -92,18 +92,18 @@ if not USE_COLOR:
ANSI = {k: '' for k in ANSI.keys()} ANSI = {k: '' for k in ANSI.keys()}
### Confirm Environment Setup ### Confirm Environment Setup
GIT_SHA = 'unknown'
try: try:
GIT_SHA = run(["git", "rev-list", "-1", "HEAD", "./"], stdout=PIPE, cwd=REPO_DIR).stdout.strip().decode() GIT_SHA = run(["git", "rev-list", "-1", "HEAD", "./"], stdout=PIPE, cwd=REPO_DIR).stdout.strip().decode()
except Exception: except Exception:
GIT_SHA = 'unknown' print('[!] Warning: unable to determine git version, is git installed and in your $PATH?')
print('[!] Warning, you need git installed for code version to be saved with archive json!')
WGET_VERSION = 'unknown' WGET_VERSION = 'unknown'
try: try:
wget_vers_str = run(["wget", "--version"], stdout=PIPE, cwd=REPO_DIR).stdout.strip().decode() wget_vers_str = run(["wget", "--version"], stdout=PIPE, cwd=REPO_DIR).stdout.strip().decode()
WGET_VERSION = wget_vers_str.split('\n')[0].split(' ')[2] WGET_VERSION = wget_vers_str.split('\n')[0].split(' ')[2]
except Exception: except Exception:
print('[!] Warning, unable to determine wget version, is wget installed and in your $PATH?') print('[!] Warning: unable to determine wget version, is wget installed and in your $PATH?')
WGET_USER_AGENT = WGET_USER_AGENT.format(GIT_SHA=GIT_SHA[:9], WGET_VERSION=WGET_VERSION) WGET_USER_AGENT = WGET_USER_AGENT.format(GIT_SHA=GIT_SHA[:9], WGET_VERSION=WGET_VERSION)