#!/bin/sh date=`date`; AWK=@AWK@ cat < 6 ){ # F = "FIELDS=" # } # print "name \"" name "\", type \"" type "\", value \"" F value "\""; if( type == 0 ){ value = value + 0; # print "FLAG \"" value "\"" ; if( value == 0 ){ name= name "@ (FLAG off)"; } else { name= name " (FLAG on)"; } } else if( type == 1 ){ if( value == "" ){ value = 0; } name = name "=" value " (INTEGER)"; } else { v = ""; if( value == "0"){ value = ""; v = "EMPTY " ; } name = name "=" value " (" v "STRING)"; } print "# default " name ; } else { print "# Purpose: " $0; } } '