#!/bin/sh
#
# Script para copiar un archivo deduciendo el nombre del nombre del propio
# script.
#
# Creado por Leandro Lucarella (llucar) el jue ene 23 17:22:03 ART 2003
#

# Parámetros de la línea de comandos.
origen="$1"
destino="$2"
libdir="$3"

# Script.
nombre_orig=`basename "$0" | awk -F\\. '{ print $1 }'`
nombre_nuevo=`basename "$0" | awk -F\\. '{ print $2 }'`
if [ -z "$nombre_orig" ]; then
    nombre_nuevo=`basename "$0"`
fi
cp -fv "$origen/$nombre_orig" "$destino/$nombre_nuevo"