18.13 WAVFULLNAME

Prints full filename including path for a waveform file by searching directories and databases specified in SEISAN.DEF. Filename is to be given on prompt line, e.g. wavfullname 1996-06-13-1248-15S.NSN__003.



Peter Voss : Tue Jun 8 13:38:42 UTC 2021