#!/bin/bash set -euo pipefail EXT_DIR="$HOME/.local/share/gnome-shell/extensions/clipcoffre@gilles" # Nettoyer et recreer le dossier rm -rf "$EXT_DIR" mkdir -p "$EXT_DIR" # Copier les fichiers (exclure .git, node_modules, backup, docs) for item in extension.js metadata.json stylesheet.css src schemas; do if [ -e "$item" ]; then cp -r "$item" "$EXT_DIR/" fi done # Compiler le schema GSettings if [ -d "$EXT_DIR/schemas" ]; then glib-compile-schemas "$EXT_DIR/schemas" fi echo "Extension installée dans $EXT_DIR" echo "Redémarrez GNOME Shell (Alt+F2, r) puis activez l'extension."