git/revert: correctly revert files with spaces in the path

This commit is contained in:
Ori Bernstein 2023-07-18 00:52:20 +00:00
parent d2fc480bc2
commit f6ac182f86

View file

@ -13,7 +13,7 @@ if(~ $#query 0)
commit=`{git/query -p $query}
files=`$nl{cleanname -d $gitrel $* | drop $gitroot}
for(f in `{git/walk -c -fRM -b $query $files}){
for(f in `$nl{git/walk -c -fRM -b $query $files}){
mkdir -p `{basename -d $f}
cp -x -- $commit/tree/$f $f
touch $f