diff options
author | Ori Bernstein <ori@eigenstate.org> | 2021-06-06 09:11:10 -0400 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2021-06-06 13:07:51 -0400 |
commit | 78d2064a7c7fcf8a2e9d5bf356b44c1ecb902662 (patch) | |
tree | b4c244b2d397c56ddab8eaa2fae98c5b5b73b239 | |
parent | a2a0717c99ab60bc0d7814fa22230013f9347c22 (diff) | |
download | plan9front-78d2064a7c7fcf8a2e9d5bf356b44c1ecb902662.tar.xz |
git/branch: somewhere in the syncing, the fix for junk files was lost
bring it back.
-rwxr-xr-x | sys/src/cmd/git/branch | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sys/src/cmd/git/branch b/sys/src/cmd/git/branch index f1b46717f..ce7a3e59f 100755 --- a/sys/src/cmd/git/branch +++ b/sys/src/cmd/git/branch @@ -74,8 +74,11 @@ if(! ~ $#dirtypaths 0){ y=$nl^$dirtypaths cleanpaths=`$nl{echo $"x$nl$"y | sort | uniq -u} } + +# creating the dirs with a single +# batch mkdir was significantly faster. if(! ~ $#cleanpaths 0) - cleandirs=`$nl{echo $nl^$cleanpaths | sed 's@/[^/]+/?$@@' | uniq} + cleandirs=`$nl{for(p in $cleanpaths) basename -d $p | uniq -u} if(! ~ $#cleandirs 0){ mkdir -p $cleandirs mkdir -p .git/index9/tracked/$cleandirs |