#!/bin/bash

# Eventuelly convert Windows annoying end of line
awk '
  {
    gsub("\r","",$0)
    print $0
  }' | 

awk '
  BEGIN{
    print "SESAME ASCII data format (saf) v. 1"
  }
  {
    if(data==1) print $4,$2,$3
  }
  /Station_code/{
    print "STA_CODE = " $2
  }
  /Sampling_rate/{
    print "SAMP_FREQ = " $2
  }
  /Start_date/{
    d=$2
  }
  /Start_time/{
    gsub(":"," ",$2)
    print "START_TIME = " substr(d, 7, 4) " " substr(d, 4, 2) " " substr(d, 1, 2) " " $2
  }
  /Time/{
    data=1
    print "CH0_ID = Z"
    print "CH1_ID = X (NS)"
    print "CH2_ID = Y (EW)"
    print "UNITS = mm/s"
    print "# Vert, NS, EW"
  }
'
