The script crashed on re-run: git clone ... /tmp/mariadb-server fails when the dir is non-empty (leftover from an earlier build — /tmp isn't auto-cleared without a reboot). Clear stale dirs before clone/extract so failed builds can be re-run without manual cleanup.
The script crashed on re-run: `git clone ... /tmp/mariadb-server` fails when the dir is non-empty (leftover from an earlier build — /tmp isn't auto-cleared without a reboot). Clear stale dirs before clone/extract so failed builds can be re-run without manual cleanup.
git clone fails on a non-empty /tmp/mariadb-server (left over from an
earlier build on the same machine), crashing the script mid-way. Clear
the stale MariaDB dir before cloning and the stale PostgreSQL build dirs
before extracting.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
The script crashed on re-run:
git clone ... /tmp/mariadb-serverfails when the dir is non-empty (leftover from an earlier build — /tmp isn't auto-cleared without a reboot). Clear stale dirs before clone/extract so failed builds can be re-run without manual cleanup.