aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2022-07-11 16:53:10 +0200
committerDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2022-07-11 16:58:26 +0200
commit89fe6b992f3eca01b4234b1ce1d8fd9e37c46535 (patch)
tree173cab87a3e01836fe42db7543341412e256a90e /Makefile
downloadusr_local_bin-main.tar.gz
usr_local_bin-main.tar.bz2
usr_local_bin-main.zip
Add script to check the git repositoriesHEADmain
Example usage: $ ssh git.replicant.us # su -l git $ check-repos.py [ !! ] repositories/contrib/GNUtoo/tools/test1.git - missing repositories/contrib/GNUtoo/tools/test1.git/hooks/post-receive [ !! ] repositories/contrib/GNUtoo/tools/test3.git - missing repositories/contrib/GNUtoo/tools/test3.git/hooks/post-receive [ !! ] repositories/contrib/GNUtoo/tools/foo.git - missing repositories/contrib/GNUtoo/tools/foo.git/git-daemon-export-ok - missing repositories/contrib/GNUtoo/tools/foo.git/hooks/post-receive - missing repositories/contrib/GNUtoo/tools/foo.git/hooks/update - "gitolite access -q contrib/GNUtoo/tools/foo gnutoo" failed Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..5c6f012
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,7 @@
+.PHONY: install
+
+DESTDIR ?= /
+PREFIX ?= usr/local
+
+install:
+ install -m 755 src/check-repos.py -t $(DESTDIR)$(PREFIX)/bin/