diff --git a/gnome-extension/Makefile b/gnome-extension/Makefile index f7e99e0..df16fc3 100644 --- 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