Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 5165 | czzmrn | 1 | # This script must be sourced. |
| 2 | |||
| 3 | olddir=`pwd` |
||
| 4 | [ -n "$WIMS_HOME" ] && cd $WIMS_HOME |
||
| 5 | [ -n "$w_wims_home" ] && cd $w_wims_home |
||
| 6 | |||
| 7 | # patch for "cp --no-dereference" |
||
| 8 | echo test >tmp/cptest1 |
||
| 9 | if cp --no-dereference tmp/cptest1 tmp/cptest2 2>/dev/null; then |
||
| 10 | dircp="cp -Rp --no-dereference" |
||
| 11 | else |
||
| 12 | dircp="cp -RpP" |
||
| 13 | fi |
||
| 14 | alias dircp="$dircp" |
||
| 15 | rm -f tmp/cptest? |
||
| 16 | cd $olddir |
||
| 17 |