From 50df10886346f12d16124fd8cf5a09a41ff9ee3c Mon Sep 17 00:00:00 2001 From: jdcaballerov <743513+jdcaballerov@users.noreply.github.com> Date: Sat, 12 Dec 2020 08:34:00 -0500 Subject: [PATCH] Update archivebox/config.py Co-authored-by: Nick Sweeting --- archivebox/config.py | 1 - 1 file changed, 1 deletion(-) diff --git a/archivebox/config.py b/archivebox/config.py index d3e34151..6c42eef5 100644 --- a/archivebox/config.py +++ b/archivebox/config.py @@ -314,7 +314,6 @@ DERIVED_CONFIG_DEFAULTS: ConfigDefaultDict = { 'SAVE_WARC': {'default': lambda c: c['USE_WGET'] and c['SAVE_WARC']}, 'WGET_ARGS': {'default': lambda c: c['WGET_ARGS'] or []}, - 'USE_RIPGREP': {'default': lambda c: c['USE_RIPGREP']}, 'RIPGREP_VERSION': {'default': lambda c: bin_version(c['RIPGREP_BINARY']) if c['USE_RIPGREP'] else None}, 'USE_SINGLEFILE': {'default': lambda c: c['USE_SINGLEFILE'] and c['SAVE_SINGLEFILE']},