De când am ajuns aici, tot nu reușeam să obțin un gps-fix pe nicăieri. Știam că-n mod normal GPS-ul e mai lent dacă n-are rețea de date conectată, dar chiar așa de rău să fie ? Și m-am apucat de studiat cum funcționează A-GPS (assisted GPS) pe Android. În /system/etc/gps.conf există datele de configurare pentru A-GPS, care arată cam așa:

NTP_SERVER=europe.pool.ntp.org
XTRA_SERVER_1=http://xtra1.gpsonextra.net/xtra.bin
XTRA_SERVER_2=http://xtra2.gpsonextra.net/xtra.bin
XTRA_SERVER_3=http://xtra3.gpsonextra.net/xtra.bin
SUPL_HOST=supl.google.com
SUPL_PORT=7276

NTP_SERVER este serverul NTP, pentru sincronizarea ceasului. Câmpurile XTRA indică locațiile de descărcare a efemeridelor: Global Positioning System (GPS) navigation satellites transmit electronic ephemeris data consisting of health and exact location data that GPS receivers then use (together with the signal’s elapsed travel time to the receiver) to calculate their own location on Earth using trilateration. Câmpurile SUPL_HOST și SUPL_PORT definesc serverul de A-GPS, în acest caz tocmai serverul Google.

Așadar, era configurat dar neutilizat; implicit, se pare că fișierul de efemeride e descărcat doar când GPS-ul e pornit simultan cu conexiunea de date, ceea ce la mine nu se întâmpla (deoarece pe-aici folosesc doar wireless-uri, care-s indoor). Soluția a fost să descarc GPS Status & Toolbox, care știe să declanșeze descărcarea efemeridelor chiar și doar în prezența unei conexiuni de date. Am descărcat fișierul, am ieșit afară, gps-fix în 9 secunde.