![]() |
|
|||
File indexing completed on 2023-03-17 10:41:23
0001 #!/bin/bash 0002 0003 export FILE=$1 0004 export DEST=$2 0005 0006 if [ -f $DEST ]; then 0007 echo ${DEST} ' exists ... OK' 0008 else 0009 echo 'Copying ' ${DEST} 0010 cp $FILE $DEST 0011 if [ -f ${DEST} ]; then 0012 echo ' ... OK' 0013 fi 0014 fi
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |
![]() ![]() |