#!/bin/csh -f
# diffcprm
# -----------------------------------------------------------------------------
# Shell script to compare 2 files, overwrite 2nd with 1st and delete 1st.
# Both files must exist.  Useful for installing privileged files safely.
# -----------------------------------------------------------------------------
# Usage:  See Usage section below or run with no arguments to see usage.
# Assumptions:
# Effects:
# - Overwrites 2nd file, deletes 1st file.
# Notes:
# Implementation Notes:
# Portability Issues:
# Revision History:
#   $Log$
# ------------------------------------------------------------------------------
if ($#argv == 0 || $#argv == 1) then
   echo "Usage: $0:t source_file target_file"
   echo "Warning: Overwrites target_file.  Deletes source_file."
   exit 1
endif

if (! -e $1:q) then
   beep "Error: $1:q does not exist"
   exit 1
endif
if (! -e $2:q) then
   beep "Error: $2:q does not exist"
   exit 1
endif

# Use sudo since this script is usually used to update privileged files
# cp instead of mv to preserve permissions of 2nd.  mv would preserve 1st.
sudo diff -s $1:q $2:q
sudo ls -Fla $1:q
sudo ls -Fla $2:q
sudo cp -iv $1:q $2:q
sudo diff -s $1:q $2:q
sudo ls -Fla $1:q
sudo ls -Fla $2:q
sudo rm -iv  $1:q