diff options
author | David Bremner <david@tethera.net> | 2014-04-12 13:30:32 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-04-15 17:20:19 -0300 |
commit | dd24fdd33a3c06b2c2ad6bcb8e7d18bc8442f51f (patch) | |
tree | a7f0b9217c0dad9c354cf0064f6eed7f302ded38 /devel | |
parent | a63ca54b1f2453593519dd0e609e63878ef22056 (diff) |
nmbug: mark repository as bare on clone
If a git repository is non-bare, and core.worktree is not set, git
tries to deduce the worktree. This deduction is not always helpful, e.g.
% git --git-dir=$HOME/.nmbug clean -f
would likely delete most of the files in the current directory
Diffstat (limited to 'devel')
-rwxr-xr-x | devel/nmbug/nmbug | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/nmbug/nmbug b/devel/nmbug/nmbug index d6f5213a..b18ded7b 100755 --- a/devel/nmbug/nmbug +++ b/devel/nmbug/nmbug @@ -134,6 +134,7 @@ sub do_clone { $repository, $tempwork) == 0 or die "'git clone' exited with nonzero value\n"; git ('config', '--unset', 'core.worktree'); + git ('config', 'core.bare', 'true'); } sub is_committed { |