| git.druid.rocks | index | druid520 | ports | ports/ | vcs/ | git/ | del.sh |
ports/vcs/git/del.sh
set -e
# unlike a typical del.sh, this deliberately does NOT remove the live
# bin/git, libexec/git-core/*, or any of the other installed files up
# front. add.sh's own FIRST step is "git clone https://github.com/git/
# git.git" -- which needs a WORKING git to run at all, and this port's
# own %ssl-tag TLS backend needs the SAME kind of care (see ssl/
# libressl's own del.sh incident) -- removing bin/git before add.sh's
# clone can run breaks that very clone, leaving the system with no git
# at all and no way to even retry (same shape of incident as ssl/
# libressl's own git-over-https bootstrap hazard, and compilers/gcc's
# own del.sh -- see either one's comment for the fuller story; hit for
# real here too, recovered via the same container-rescue technique).
#
# add.sh's own fresh "make prefix=$MP_PREFIX ... install" overwrites
# every one of git's own installed files in place regardless, so
# nothing here actually needs deleting first.
cd git
make clean
cd ..
rm -rf git