chore: Update Makefile for gnome extension

ZanzyTHEbar · Jul 12, 2024 · 8f4ad9c · 8f4ad9c
1 parent c4d9ddf
commit 8f4ad9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gnome-extension/Makefile b/gnome-extension/Makefile
@@ -26,6 +26,7 @@ install: $(NAME).zip
 	@touch ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
 	@rm -rf ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
 	@mv dist ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
+	@echo "Extension installed. Restart GNOME Shell with Alt+F2, then 'r'. Or login again."
 
 clean:
 	@rm -rf dist node_modules $(NAME).zip