diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2018-06-23 21:50:38 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@parabola.nu> | 2018-10-07 19:28:49 -0400 |
commit | 9b9837c6271f3a559d018d1cf6dab3f10b3ad468 (patch) | |
tree | fabdfb758f872048b59201283bd18d82985bbfe2 | |
parent | 6caa7fa66f1ce9d1814b6ad42ec0e12e1570f640 (diff) |
db-update: Stage files to the 'other' and 'sources' directories
If you're seeing this in `git blame`, it chose to follow the wrong
ancestor of a merge commit.
-rwxr-xr-x | db-update | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -8,6 +8,22 @@ if (( $# >= 1 )); then exit 1 fi +pushd "${STAGING}" >/dev/null +while read -d '' -r file; do + pub="${FTP_BASE}/${file}" + if [[ -f "$pub" ]]; then + if cmp -s -- "$pub" "$file"; then + rm -vf -- "$file" + else + warning "file already exists: %s" "$file" + fi + else + mkdir -p -- "${pub%/*}" + mv -vn "$file" "$pub" + fi +done < <(find other sources -type f -print0 2>/dev/null) +popd >/dev/null + # Find repos with packages to release mapfile -t -d '' repos < <( for f in "${STAGING}"/**/*${PKGEXTS}; do |