From 6d8710442ed2b1c9777ede5235d0f5b6c53670e2 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Thu, 25 Jul 2019 17:08:34 -0500 Subject: [PATCH] planetarium: fix google elevations job Thanks to Dave . --- src/planetarium/planetarium.texi | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/planetarium/planetarium.texi b/src/planetarium/planetarium.texi index 5c1dac97d..64c6e56c5 100644 --- a/src/planetarium/planetarium.texi +++ b/src/planetarium/planetarium.texi @@ -173,6 +173,11 @@ Bay, California. mit-scheme-pucked --batch-mode <<\EOF (begin (load-option 'planetarium) + (define env (->environment '(planetarium google-earth))) + (define request-google-elevations + (access request-google-elevations env)) + (define make-latitudes/longitudes + (access make-latitudes/longitudes env)) (request-google-elevations "monterey.txt" (make-latitudes/longitudes (iota 101 36. .01) -- 2.25.1