From 318bd98b219c5aff3cbf28003a385cb1042aa317 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Wed, 14 Jan 2009 02:51:03 -0600 Subject: [PATCH] git-tool: Don't monitor the '.git' directory (git-status changes files there. git-tool tries to refresh and calls git-status...) --- extra/git-tool/git-tool.factor | 43 ++++++++++++++++++++++++++++++++-- 1 file changed, 41 insertions(+), 2 deletions(-) diff --git a/extra/git-tool/git-tool.factor b/extra/git-tool/git-tool.factor index 0ef7f88d3f..314bddb19a 100644 --- a/extra/git-tool/git-tool.factor +++ b/extra/git-tool/git-tool.factor @@ -425,6 +425,39 @@ TUPLE: ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! +! :: git-tool ( REPO -- ) + +! 1 >>fill + +! "Repository: " REPO [ current-directory get ] with-directory append +!