Re: [GRASS-user] cannot install extension on Windows 10

2019-04-16 Thread Mira Kattwinkel
Hello, yes, I assumed that the metadata is available, but on my system they seem to be not found. And I do not know what settings  to change. What would be the correct proxy settings? Indeed, the installation was successful, I can use the extension. However Settings / Addons extensions /

Re: [GRASS-user] cannot install extension on Windows 10

2019-04-15 Thread Martin Landa
Hi, po 15. 4. 2019 v 18:18 odesílatel Mira Kattwinkel napsal: > For example g.extension extension=r.hydrodem operation=add > Updating addons metadata file... > > ERROR: Unable to read addons metadata file from the remote server: > [Errno socket error] [SSL: CERTIFICATE_VERIFY_FAILED] certificate

[GRASS-user] cannot install extension on Windows 10

2019-04-15 Thread Mira Kattwinkel
Dear list, I cannot install extensions in a new and clean GRASS 7.6.0 installation on Windows 10, because the list of extensions is empty. g.extension-l results in: List of available extensions (modules): Fetching list of modules from GRASS-Addons SVN (be patient)... (Mon Apr 15 16:54:16