diff options
Diffstat (limited to 'patchtracker/Conf.py')
| -rwxr-xr-x | patchtracker/Conf.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/patchtracker/Conf.py b/patchtracker/Conf.py index beb2b71..954001e 100755 --- a/patchtracker/Conf.py +++ b/patchtracker/Conf.py @@ -16,6 +16,12 @@ use_apt_pkg = None to False instead of None """ +pts_index_file = "pts-index.json.gz" +""" The name of the JSON encoded "whole system index" that we can optionally + export (the -i option to gen-patch-info) for mass-grabbing of statistics + by the PTS system +""" + try: from localconfig import * except ImportError: |