move in SichangHe/internet_route_verification_meta@437b5fa

SichangHe · Mar 27, 2024 · c6be43d · c6be43d
1 parent fc7b5f3
commit c6be43d
Show file tree

Hide file tree

Showing 36 changed files with 9,696 additions and 0 deletions.
diff --git a/rfcs/.gitignore b/rfcs/.gitignore
@@ -0,0 +1 @@
+!rfc*.txt
diff --git a/rfcs/rfc2622.txt b/rfcs/rfc2622.txt
diff --git a/rfcs/rfc2650.txt b/rfcs/rfc2650.txt
diff --git a/rfcs/rfc4012.txt b/rfcs/rfc4012.txt
diff --git a/scripts/.gitignore b/scripts/.gitignore
@@ -0,0 +1 @@
+target/
diff --git a/scripts/Cargo.lock b/scripts/Cargo.lock
diff --git a/scripts/Cargo.toml b/scripts/Cargo.toml
@@ -0,0 +1,11 @@
+[package]
+name = "scripts"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+anyhow = "1"
+flate2 = "1"
+rayon = "1"
diff --git a/scripts/scripts/__init__.py b/scripts/scripts/__init__.py
@@ -0,0 +1,19 @@
+import os
+from dataclasses import dataclass
+
+import requests
+
+
+@dataclass
+class CsvFile:
+    path: str
+    url: str
+
+    def download_if_missing(self):
+        if os.path.exists(self.path):
+            return
+        response = requests.get(self.url)
+        response.raise_for_status()
+        with open(self.path, "wb") as f:
+            f.write(response.content)
+        print(f"Downloaded {self.url} -> {self.path}.")