GenericMappingTools / GenericMappingTools/gmtserver-admin
Incorrect DNS settings for mirrors
- Dominant language
- Shell
- Stars
- 7
- Forks
- 3
- Avg merge
- 9h 22m
- Merged PRs (30d)
- 1
Description
With the black down of the Hawaii server (Forum is down) many CI tests fail, all GMT.jl tests fail too.
Tried to
`set (GMT_DATA_SERVER china)`
but no luck, and local runs fail with
```
C:\v>grdinfo @earth_relief_01d_p
unknown [ERROR]: Bad record counter in file C:/Users/j/.gmt/gmt_data_server.txt
unknown [ERROR]: Deleting C:/Users/j/.gmt/gmt_data_server.txt so it can get regenerated - please try again
grdinfo [ERROR]: Unable to open file C:/Users/j/.gmt/gmt_data_server.txt
grdinfo [ERROR]: Remote download is currently deactivated
grdinfo [ERROR]: Unable to obtain remote file @earth_relief_01d_p
grdinfo [ERROR]: Must specify one or more input files
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.