GUI - Settings:System Location - configuring suppliers

[robang74]

GENERAL SOLUTION PROPOSAL

@vige: I think that it is time to give a end to GPS stops working which is a thread with 676 posts about 3 years long. The following UI change will make a lot people happy expecially using the proper values as default.

Parameter to set are the following in /etc/gps.conf or /vendor/etc/gps.conf:

NTP_SERVER (selection dropmenu)

• time.google.com (default)
• asia.pool.ntp.org
• europe.pool.ntp.org
  …
• oceania.pool.ntp.org
• north-america.pool.ntp.org
• south-america.pool.ntp.org
• [custom to enter by user]

SUPL_HOST:PORT

• supl.google.com:7276
  …
• supl.grapheneos.org:7275
• [custom to enter by user]

in order to support 4G mobile connection the version 2 is mandatory:

• SUPL_VER=0x20000

plus optional but suggested these other parameters:

• XTRA_SERVER_QUERY=1
• INTERMEDIATE_POS=1
• ACCURACY_THRES=5000

Which can set by a menu or simply by three check boxes [0/1].

[miau]

These solutions only work on the X10 series, XA2 users have to use suplpatcher to connect to a supl server on port 7276 and the GrapheneOS supl also does not work on the XA2.