equal
deleted
inserted
replaced
132 rm -f "${FULL_NAME}.tar.gz" |
132 rm -f "${FULL_NAME}.tar.gz" |
133 fi |
133 fi |
134 fi |
134 fi |
135 if [ -e "${FULL_NAME}.tar.gz" ]; then |
135 if [ -e "${FULL_NAME}.tar.gz" ]; then |
136 echo "Unpacking \"${FULL_NAME}.tar.gz\"" |
136 echo "Unpacking \"${FULL_NAME}.tar.gz\"" |
137 tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" |
137 tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" || exit 2 |
138 fi |
138 fi |
139 fi |
139 fi |
140 done |
140 done |
141 fi |
141 fi |
142 |
142 |