From eb94856b31f0a82daee4d8db246f3b9854aaa4a4 Mon Sep 17 00:00:00 2001 From: Romain Vigier Date: Tue, 15 Oct 2019 14:23:12 +0200 Subject: [PATCH] Use makefile for building and installing --- .gitignore | 1 + Makefile | 21 +++++++++++++++++++++ 2 files changed, 22 insertions(+) create mode 100644 .gitignore create mode 100644 Makefile diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..378eac2 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +build diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7c6226c --- /dev/null +++ b/Makefile @@ -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