Use makefile for building and installing

2019-10-15 14:23:12 +02:00
parent 19e25ba13f
commit eb94856b31
2 changed files with 22 additions and 0 deletions
@@ -0,0 +1 @@
+build
@@ -0,0 +1,21 @@
+UUID = nightthemeswitcher@romainvigier.fr
+GSEXT_DIR_LOCAL = $(HOME)/.local/share/gnome-shell/extensions
+
+
+.PHONY: build
+build: clean
+	mkdir -p ./build/$(UUID)
+	cp -r ./src/* ./build/$(UUID)
+
+.PHONY: install
+install: build
+	cp -r ./build/* $(GSEXT_DIR_LOCAL)
+
+.PHONY: zip
+zip: build
+	zip -r ./build/$(UUID).zip ./build
+	rm -r ./build/$(UUID)
+
+.PHONY: clean
+clean:
+	-rm -rf ./build