Issue with THEDATE in gmt_data_server.txt

[Esteban82]

This is from https://oceania.generic-mapping-tools.org/gmt_data_server.txt

532
# 6.1.0 or later GMT version required
#
# Master table with information about all the remote data sets available on the GMT Data server
# Created by make server-info.
#
# Updated:	THEDATE

There should be an actual Date instead of THEDATE in the file. In the past (I found it here), the following codes made the trick in the makefile. I don't know why they were removed.

server-info:
		date "+%Y-%m-%d" | awk '{printf "s/THEDATE/%s/g\n", $$1}' > /tmp/sed.txt
		cat information/earth_*_server.txt | grep -v '^#' | wc -l | awk '{printf "%d\n", $$1}' > information/gmt_data_server.txt
		sed -f /tmp/sed.txt < information/gmt_data_server_header.txt >> information/gmt_data_server.txt
		cat information/earth_*_server.txt >> information/gmt_data_server.txt

[Esteban82]

For the record, I think that the bug was introduced with this commit: 7ed5e92

[Esteban82]

The problem is that in the previous commit, the 4 commands were deleted from the makefile and incorparated in the srv_candidate_server.sh script. In this script, it seems that these two commands were NOT included:

date "+%Y-%m-%d" | awk '{printf "s/THEDATE/%s/g\n", $$1}' > /tmp/sed.txt
sed -f /tmp/sed.txt < information/gmt_data_server_header.txt >> information/gmt_data_server.txt

[Esteban82]

This was fixed by #282.