File tree Expand file tree Collapse file tree 1 file changed +22
-0
lines changed
Expand file tree Collapse file tree 1 file changed +22
-0
lines changed Original file line number Diff line number Diff line change 11#! /bin/bash
22
3+ # clean disk space
4+ sudo mkdir -p /opt/empty_dir || true
5+ for d in \
6+ /opt/ghc \
7+ /opt/hostedtoolcache \
8+ /usr/lib/jvm \
9+ /usr/local/.ghcup \
10+ /usr/local/lib/android \
11+ /usr/local/share/powershell \
12+ /usr/share/dotnet \
13+ /usr/share/swift \
14+ ; do
15+ sudo rsync --stats -a --delete /opt/empty_dir/ $d || true
16+ done
17+ sudo apt-get purge -y -f firefox \
18+ google-chrome-stable \
19+ microsoft-edge-stable
20+ sudo apt-get autoremove -y >& /dev/null
21+ sudo apt-get autoclean -y >& /dev/null
22+ sudo docker image prune --all --force
23+ df -h
24+
325git config --global user.name regro-cf-autotick-bot
426git config --global user.email
[email protected] 527git config --global pull.rebase false
You can’t perform that action at this time.
0 commit comments