GenericMappingTools / GenericMappingTools/gmtserver-admin

Incorrect DNS settings for mirrors

Open
#297 21 comments 0 reactions 0 assignees View on GitHub
bug
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.