Untitled
unknown
plain_text
a year ago
742 B
9
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
fiEditor is loading...
Leave a Comment