equal
deleted
inserted
replaced
50 IFS="/" |
50 IFS="/" |
51 while read TYPE NAME REST |
51 while read TYPE NAME REST |
52 do |
52 do |
53 if [ -n "$NAME" ]; then |
53 if [ -n "$NAME" ]; then |
54 if [ "$TYPE" = D ]; then |
54 if [ "$TYPE" = D ]; then |
55 echo "${PREFIX}$NAME" |
55 echo "X ${PREFIX}$NAME" |
56 mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'" |
56 mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'" |
57 copy "${PREFIX}$NAME/" || return "$?" |
57 copy "${PREFIX}$NAME/" || return "$?" |
58 else |
58 else |
59 { [ ! -d "$TODIR/${PREFIX}$NAME" ] && \ |
59 { [ ! -d "$TODIR/${PREFIX}$NAME" ] && \ |
60 cp -af "$FROMDIR/${PREFIX}$NAME" "$TODIR/${PREFIX}$NAME"; } || \ |
60 cp -af "$FROMDIR/${PREFIX}$NAME" "$TODIR/${PREFIX}$NAME"; } || \ |