--- MITgcm_contrib/jmc_script/extract_MON	2020/11/09 17:36:04	1.1
+++ MITgcm_contrib/jmc_script/extract_MON	2021/01/08 16:43:58	1.2
@@ -1,6 +1,6 @@
 #! /usr/bin/env bash
 
-# $Header: /home/ubuntu/mnt/e9_copy/MITgcm_contrib/jmc_script/extract_MON,v 1.1 2020/11/09 17:36:04 jmc Exp $
+# $Header: /home/ubuntu/mnt/e9_copy/MITgcm_contrib/jmc_script/extract_MON,v 1.2 2021/01/08 16:43:58 jmc Exp $
 # $Name:  $
 
 tmpfil=TTT.$$
@@ -16,6 +16,7 @@
  file=$1 ; output=$2 ;
  echo '  ==> extract lines with "MON" out off file='$file ' to '$output
 fi
+
 #----------------------------------------------------------
 touch $output $tmpfil
 sed -n '/%MON/p' $1 | sed 's/(PID\.TID 000.\.000.) //g' >> $tmpfil