Learn more about these different git repos.
Other Git URLs
We keep both log and log.gz on disk. E.g. results/@389ds/389-ds-base-nightly/fedora-28-ppc64le/00788881-389-ds-base/build.log results/@389ds/389-ds-base-nightly/fedora-28-ppc64le/00788881-389-ds-base/build.log.gz This consumes a disk. We should delete on - probably the non-compressed log.
Hmm, this does not see to be an issue in all projects/directories.
Metadata Update from @msuchy: - Issue tagged with: bug
All current files deleted by:
[copr@copr-be tmp][PROD]$ cat /tmp/skript.sh for fname in build.log hw_info.log state.log root.log; do find -name "$fname" -exec /tmp/skript2.sh '{}' \; done [copr@copr-be tmp][PROD]$ cat /tmp/skript2.sh #!/usr/bin/bash echo $1 pushd $(dirname "$1") >/dev/null FILE=$(basename "$1") if [ -e "${FILE}.gz" ]; then rm "${FILE}" >/dev/null else gzip "${FILE}" >/dev/null fi popd >/dev/null
Metadata Update from @msuchy: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.