From 623ccd6c4487f7abd6c332d8c18c4b604a1d9abf Mon Sep 17 00:00:00 2001
From: Kevin Holvoet <kevin@wiscy.eu>
Date: Tue, 21 Jul 2020 09:13:15 +0200
Subject: [PATCH] remove extra .txt extension from downloaded filed

---
 .gitignore                    | 12 ++++++------
 tools/generate-crl-ip-list.py |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.gitignore b/.gitignore
index 652cd81..cb82d35 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,12 +6,12 @@ cloudflare_ips-v4.txt
 cloudflare_ips-v6.txt
 IncludedCACertificateReportPEMCSV.csv
 majestic_million.csv
-ocsp_crl-hostnames.txt.txt
-ocsp_crl-ipv4.txt.txt
-ocsp_crl-ipv6.txt.txt
-ocsp_ocsp-hostnames.txt.txt
-ocsp_ocsp-ipv4.txt.txt
-ocsp_ocsp-ipv6.txt.txt
+ocsp_crl-hostnames.txt
+ocsp_crl-ipv4.txt
+ocsp_crl-ipv6.txt
+ocsp_ocsp-hostnames.txt
+ocsp_ocsp-ipv4.txt
+ocsp_ocsp-ipv6.txt
 PublicAllIntermediateCertsWithPEMCSV.csv
 top500.domains.csv
 top500.pages.csv
diff --git a/tools/generate-crl-ip-list.py b/tools/generate-crl-ip-list.py
index 9d20971..78de588 100755
--- a/tools/generate-crl-ip-list.py
+++ b/tools/generate-crl-ip-list.py
@@ -34,7 +34,7 @@ if __name__ == '__main__':
 
     for uri in uri_list:
         url = crl_ip_base_url + uri
-        file = 'ocsp_{}.txt'.format(uri)
+        file = 'ocsp_{}'.format(uri)
         download_to_file(url, file)
         to_process.append(file)