diff options
author | Ori Bernstein <ori@eigenstate.org> | 2021-06-13 01:20:46 +0000 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2021-06-13 01:20:46 +0000 |
commit | 4aef95e205f912ea7eb4c147742a59d575c8b1ff (patch) | |
tree | edc9d97db4196be7dc09df55b6b78839dbbd6baf | |
parent | c12e49ecbf4ae7933b13d592543c9f7c7dc03581 (diff) | |
download | plan9front-4aef95e205f912ea7eb4c147742a59d575c8b1ff.tar.xz |
git/branch: preserve checked in permissions on branch update
we need to copy the files, and we should copy them with the
permissions that exist in the repo.
-rwxr-xr-x | sys/src/cmd/git/branch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/src/cmd/git/branch b/sys/src/cmd/git/branch index addfec4b6..d3aa77d2b 100755 --- a/sys/src/cmd/git/branch +++ b/sys/src/cmd/git/branch @@ -99,7 +99,7 @@ for(m in $cleanpaths){ rm -rf .git/index9/tracked/$m } if(~ $b file){ - cp $basedir/tree/$m $m + cp -x $basedir/tree/$m $m walk -eq $m > .git/index9/tracked/$m } } |