Skip to content

Commit ef383f7

Browse files
committed
Use rsync to remove toolchains
1 parent 5072358 commit ef383f7

File tree

1 file changed

+21
-10
lines changed

1 file changed

+21
-10
lines changed

.github/bin/free-disk-space.sh

Lines changed: 21 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -23,16 +23,27 @@ function free_up_disk_space_ubuntu()
2323
sudo apt-get autoclean -y
2424

2525
echo "Removing toolchains"
26-
sudo rm -rf \
27-
/usr/local/graalvm \
28-
/usr/local/lib/android/ \
29-
/usr/share/dotnet/ \
30-
/opt/ghc/ \
31-
/usr/local/share/boost/ \
32-
"${AGENT_TOOLSDIRECTORY}"
33-
34-
echo "Prune docker images"
35-
sudo docker system prune --all -f
26+
directories_to_be_removed=(
27+
"/usr/local/graalvm/"
28+
"/usr/local/lib/android/"
29+
"/usr/share/dotnet/"
30+
"/opt/ghc/"
31+
"/usr/local/share/boost/"
32+
"${AGENT_TOOLSDIRECTORY}")
33+
34+
delete_directories_with_rsync "${directories_to_be_removed[@]}"
35+
36+
echo "Prune docker images"
37+
sudo docker system prune --all -f
38+
}
39+
40+
function delete_directories_with_rsync()
41+
{
42+
for dir in "$@"; do
43+
echo "Deleting contents of $dir using rsync"
44+
sudo rsync --delete -a --exclude='*' ./ "$dir"
45+
sudo rm -rf "$dir"
46+
done
3647
}
3748

3849
echo "Disk space usage before cleaning:"

0 commit comments

Comments
 (0)