#!/bin/csh -f
#
# Reverse the names of two files
#

if ($#argv != 2) then
   echo "Usage: rev <file1> <file2>"
   exit 1
endif

set file1 = $1
set file2 = $2

if (q$file1:h == q$file1) then
   set dir = .
else if (q$file1:h == q) then
   set dir = /
else
   set dir = $file1:h
endif

set temp = $dir/rev.$$

chdir $dir

mv $file1 $temp && mv $file2 $file1 && mv $temp $file2