CHANGE: removed actor disconnect due to error
This commit is contained in:
15
Makefile
15
Makefile
@@ -8,17 +8,14 @@ all: dist/extension.js
|
||||
node_modules: package.json
|
||||
npm install
|
||||
|
||||
dist/extension.js dist/prefs.js: node_modules
|
||||
dist/extension.js: node_modules
|
||||
tsc
|
||||
|
||||
dist/stylesheet.css: stylesheet.css
|
||||
cp stylesheet.css dist/
|
||||
|
||||
schemas/gschemas.compiled: schemas/org.gnome.shell.extensions.$(NAME).gschema.xml
|
||||
glib-compile-schemas schemas
|
||||
|
||||
$(NAME).zip: dist/extension.js dist/prefs.js dist/stylesheet.css schemas/gschemas.compiled
|
||||
@cp -r schemas dist/
|
||||
$(NAME).zip: dist/extension.js dist/stylesheet.css
|
||||
@cp metadata.json dist/
|
||||
@(cd dist && zip ../$(NAME).zip -9r .)
|
||||
|
||||
@@ -27,14 +24,10 @@ pack: $(NAME).zip
|
||||
install: $(NAME).zip
|
||||
@touch ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
|
||||
@rm -rf ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
|
||||
@cp -r dist ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
|
||||
@mv dist ~/.local/share/gnome-shell/extensions/$(NAME)@$(DOMAIN)
|
||||
|
||||
clean:
|
||||
@rm -rf dist node_modules $(NAME).zip
|
||||
|
||||
test:
|
||||
@dbus-run-session -- gnome-shell --nested --wayland
|
||||
|
||||
full:
|
||||
@make install
|
||||
@make test
|
||||
@dbus-run-session -- gnome-shell --nested --wayland
|
||||
Reference in New Issue
Block a user