#!/bin/bash

# Quick update script for GNOME extension development

EXTENSION_DIR="$HOME/.local/share/gnome-shell/extensions"
EXTENSION_NAME="deskmeter-indicator@local"
SOURCE_DIR="$(cd "$(dirname "$0")" && pwd)/$EXTENSION_NAME"

echo "Updating Deskmeter Task Indicator..."

# Copy extension files
cp -r "$SOURCE_DIR" "$EXTENSION_DIR/"

echo "Files copied."
echo ""
echo "Next: Restart GNOME Shell"
echo "  X11: Alt+F2, type 'r', press Enter"
echo "  Wayland: Log out and back in"
echo ""
echo "Check logs: journalctl -f -o cat /usr/bin/gnome-shell"