git/revert: fix previous commit (helps if you save the file, thanks qwx)

git/revert: fix previous commit (helps if you save the file, thanks qwx)
This commit is contained in:
Ori Bernstein 2021-06-28 23:40:40 +00:00
parent 682aabf9f6
commit ca6058e0e1

View file

@ -15,8 +15,8 @@ files=`$nl{cleanname -d $gitrel $*}
for(f in `$nl{cd $commit/tree/ && walk -f $files}){ for(f in `$nl{cd $commit/tree/ && walk -f $files}){
mkdir -p `{basename -d $f} mkdir -p `{basename -d $f}
if(cp -x -- $commit/tree/$f $f) if(cp -x -- $commit/tree/$f $f)
walk -eq $m > .git/index9/tracked/$m walk -eq $f > .git/index9/tracked/$f
if not if not
echo -n > .git/index9/tracked/$m echo -n > .git/index9/tracked/$f
} }
exit '' exit ''