#!/bin/csh -f 

#set files = `find * | file -f - | grep broken | awk '{print $1}' | sed 's/://'`
set files = `cat links`

foreach file ($files)
#set file = $files[1]
   set old_link = `ls -l $file | awk '{print $11}'`
   if (`echo $old_link | grep -c cora5`) then
      set new_link = `echo $old_link | sed 's/cora5/cora3/'`
      rm $file
      ln -s $new_link $file
   else
      echo $file $old_link
      echo $file >> still_broken
   endif
#   echo $file >> links
end