diff options
Diffstat (limited to 'exp')
| -rw-r--r-- | exp/.gitignore | 3 | ||||
| -rw-r--r-- | exp/Makefile | 33 |
2 files changed, 36 insertions, 0 deletions
diff --git a/exp/.gitignore b/exp/.gitignore new file mode 100644 index 0000000..a0991ff --- /dev/null +++ b/exp/.gitignore @@ -0,0 +1,3 @@ +* +!.gitignore +!Makefile diff --git a/exp/Makefile b/exp/Makefile new file mode 100644 index 0000000..37fa8c8 --- /dev/null +++ b/exp/Makefile @@ -0,0 +1,33 @@ +REPO_URL := https://club1.fr/~nicolas/git/dna-backup/ + +REPO_PATH := repo +GIT_PATH := git +GITC := git -C $(REPO_PATH) + +BIN_PATH := .. + +.PHONY: apply +apply: commits ../dna-backup + cat $< | while read i; do \ + $(GITC) checkout `echo "$$i" | cut -f1`; \ + done + +$(BIN_PATH)/dna-backup: .FORCE + $(MAKE) -C $(BIN_PATH) dna-backup + +commits: Makefile repo git + $(GITC) log --reverse --no-merges --pretty=tformat:"%H %as" \ + | sort --unique --key=2 \ + > $@ + +repo git: + git clone --separate-git-dir=$(GIT_PATH) $(REPO_URL) $(REPO_PATH) +# remove warning about detached head state + $(GITC) config advice.detachedHead false + +.PHONY: clean +clean: + rm -rf $(REPO_PATH) $(GIT_PATH) + rm -f commits + +.FORCE: ; |