Prep for Hugging Face Spaces: add img.jpg + requirements.txt, drop share=True, use tempfile for CSV export

README.md

@@ -4,6 +4,7 @@ python_version: "3.11"
 app_file: app.py
 pinned: false
 sdk: gradio
+sdk_version: "6.9.0"
 ---
 
 # App for getting points from a geographic map - lots of manual clicking

app.py

@@ -14,6 +14,7 @@ Run with:
 
 import csv
 import io
+import tempfile
 
 import gradio as gr
 from PIL import Image
@@ -293,10 +294,11 @@ def build_app():
             w.writerow(["Label", "Latitude_N", "Longitude_E", "Pixel_X", "Pixel_Y"])
             for p in picked:
                 w.writerow([p.get("label", ""), p["lat"], p["lon"], p["px"], p["py"]])
-            tmp = "/tmp/georect_points.csv"
-            with open(tmp, "w") as f:
+            with tempfile.NamedTemporaryFile(
+                mode="w", suffix=".csv", prefix="georect_points_", delete=False
+            ) as f:
                 f.write(buf.getvalue())
-            return gr.update(value=tmp, visible=True)
+            return gr.update(value=f.name, visible=True)
 
         exp_btn.click(on_export, picked_st, csv_out)
 
@@ -304,4 +306,4 @@ def build_app():
 
 
 if __name__ == "__main__":
-    build_app().launch(share=True, theme=gr.themes.Soft(), js=ZOOM_JS)
+    build_app().launch(theme=gr.themes.Soft(), js=ZOOM_JS)

requirements.txt

@@ -0,0 +1,4 @@
+numpy>=2.4.3
+pandas>=3.0.1
+pillow>=12.1.1
+pyproj>=3.7.2