improved rebuild script

This commit is contained in:
joy 2024-10-18 10:48:54 +02:00
parent 1ad690b5a7
commit 3951cee6db

View file

@ -2,12 +2,15 @@
current_dir=$(pwd) current_dir=$(pwd)
cd ~/nix cd ~/nix || exit
git fetch
if git diff --quiet HEAD..origin/main; then
echo "No changes detected in the remote. Proceeding with rebuild..."
git add . git add .
alejandra .
hostname=$(hostname) hostname=$(hostname)
if echo "$hostname" | grep -q 'desktop'; then if echo "$hostname" | grep -q 'desktop'; then
@ -19,5 +22,10 @@ elif echo "$hostname" | grep -q 'server'; then
elif echo "$hostname" | grep -q 'localhost'; then elif echo "$hostname" | grep -q 'localhost'; then
nix-on-droid switch --flake ~/nix nix-on-droid switch --flake ~/nix
fi fi
else
echo "Changes detected in the remote. Stopping execution."
git diff HEAD..origin/main
exit 1
fi
cd "$current_dir" cd "$current_dir" || exit