release-engineering/dist-git
1
0
Fork 0
mirror of https://github.com/release-engineering/dist-git.git synced 2025-02-23 15:02:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove_unused_sources: print to log what we are unlinking

Browse source
This commit is contained in:
Pavel Raiskup 2019-06-10 08:40:22 +02:00 • committed by Miroslav Suchý
parent 6ff6fb94bd
commit 25a94ec4e7
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scripts/dist-git/remove_unused_sources
View file

@ -13,6 +13,12 @@ EOF
die() { echo "$*" 1>&2 ; exit 1; }
logcmd ()
{
echo >&2 "$*"
"$@"
}
if [[ $# != 2 ]]; then
Usage
exit 1
@ -74,5 +80,5 @@ while read -r file; do
done
"$keep" && continue
unlink "$pkg_lookaside_dir/$file"
logcmd unlink "$pkg_lookaside_dir/$file"
done < <( cd "$pkg_lookaside_dir" || exit 1 ; find . -mindepth 3 -maxdepth 3 -type f -printf '%P\n' )