#!/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 { name = name "=" value " (STRING)"; } print "# default " name ; } else { print "# Purpose: " $0; } } '