21 lines
550 B
Bash
21 lines
550 B
Bash
#!/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"
|