From d7112c4b43e5939c54d11e73e4deec586c796af2 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Fri, 14 Oct 2011 17:56:21 +0200 Subject: [PATCH] knows how to push on the git servers --- gitweb/Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/gitweb/Makefile b/gitweb/Makefile index 3c450f2..de5ba6a 100644 --- a/gitweb/Makefile +++ b/gitweb/Makefile @@ -9,3 +9,13 @@ all:$(ALL) clean: rm -f $(ALL) + +# need to push to /var/www/git manually +push: + rsync -av gitweb.css root@git.onelab.eu:/git/gitweb.css + rsync -av onelab.cgi root@git.onelab.eu:/git/gitweb.cgi + rsync -av gitweb.css root@git.f-lab.fr:/git/gitweb.css + rsync -av f-lab.cgi root@git.f-lab.fr:/git/gitweb.cgi + rsync -av gitweb.css thierry@git.planet-lab.org:gitweb.css + rsync -av planet-lab.cgi thierry@git.planet-lab.org:gitweb.cgi + ssh thierry@git.planet-lab.org sudo cp gitweb.cgi gitweb.css /var/www/git/ -- 2.43.0