Untitled

 avatar
unknown
plain_text
a month ago
742 B
5
Indexable
# !/bin/bash

# Chemin du répertoire du projet
PROJECT_DIR="$HOME/git/external/ghostty"

# Assurez-vous que le script est exécuté dans le bon répertoire
cd "$PROJECT_DIR" || { echo "Erreur : le répertoire $PROJECT_DIR est introuvable."; exit 1; }

# Met à jour Zig en version beta et classic
sudo snap refresh --beta --classic zig

# Met à jour le dépôt git
echo "Mise à jour du dépôt Git..."
OUTPUT=$(git pull)

# Vérifie si des changements ont été téléchargés
if echo "$OUTPUT" | grep -Eq "Already up to date|Déjà à jour"; then
    echo "Aucun nouveau fichier téléchargé. Build non nécessaire."
else
    echo "Nouveaux fichiers détectés. Lancement du build..."
    sudo zig build -p /usr -Doptimize=ReleaseFast
fi
Leave a Comment