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 : Fri Nov 12 10:33:10 UTC 2021