Skip to content

Commit 419e2b9

Browse files
committed
Use rsync to remove toolchains
1 parent 17dd401 commit 419e2b9

File tree

1 file changed

+23
-10
lines changed

1 file changed

+23
-10
lines changed

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

Lines changed: 23 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -23,16 +23,29 @@ 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+
sudo mkdir /tmp/empty
43+
for dir in "$@"; do
44+
echo "Deleting contents of $dir using rsync"
45+
sudo rsync --delete -a /tmp/empty/ "$dir"
46+
sudo rm -rf "$dir"
47+
done
48+
sudo rmdir /tmp/empty
3649
}
3750

3851
echo "Disk space usage before cleaning:"

0 commit comments

Comments
 (0)