# Last edited on 2004-01-06 00:13:10 by stolfi

DELETING INC FILES FROM DATED SUBDIRS

  Remove duplicated ".inc" files in dated sub-directories

    foreach dir ( [0-9]*[0-9] )
      echo "=== ${dir} ====================================" > "/dev/stderr"
      foreach f ( ${dir}/*.inc )
        echo "+++ ${f} ++++++++++++++++++++++++++++++++++++++" > "/dev/stderr"
        set orig = "${orig}"
        if ( "/${orig}" != "/button-flag-specs.inc") then
          if ( { cmp -s ${f} ${orig} } ) then 
            echo "rm -v ${f}" >> ".removes"
          else
            echo "!! ${f} differs from ${orig}, not deleted" > "/dev/stderr"
          endif
        else
          echo "  ${f} skipped" > "/dev/stderr"
        endif
      end
    end
    echo 'see file ".removes"'

  Checking differences in files that remained:
  
    foreach dir ( [0-9]*[0-9] )
      echo "=== ${dir} ====================================" > "/dev/stderr"
      foreach f ( ${dir}/*.inc )
        echo "+++ ${f} ++++++++++++++++++++++++++++++++++++++" > "/dev/stderr"
        set orig = "${f:t}"
        if ( ( "/${orig}" != "/button-parameters.inc") && ( "/${orig}" != "/background.inc" ) ) then
          if ( { cmp -s ${f} ${f:t} } ) then 
            echo "** ${f} equals ${f:t}" > "/dev/stderr"
          endif
        else
          echo "  ${f} skipped" > "/dev/stderr"
        endif
      end
    end