scripts/repo_reset.sh: slightly more advanced

This commit is contained in:
Rick Farina (Zero_Chaos) 2020-05-12 23:14:14 -04:00
parent 0c23ad2f0d
commit cf35f11c0f
No known key found for this signature in database
GPG key ID: A29433C0AA431DDC

View file

@ -3,11 +3,14 @@ pentoo_repo=$(portageq get_repo_path / pentoo)
#this is a safety check to make sure we aren't force resetting a dev's environment
if ! grep 'git@github.com:pentoo/pentoo-overlay.git' "${pentoo_repo}/.git/config"; then
if cd "${pentoo_repo}"; then
#should probably add some "is this needed?" detection in here
git reset --hard origin
git clean -fd
git clean -fx
fi
#we don't set shallow by default anymore, but if it was installed shallow it stays that way
if [ -f "${pentoo_repo}/.git/shallow" ]; then
git fetch --fatten
fi
else
printf "Not hard resetting git on developer machine\n"
fi