On Sat, Jan 18, 2020 at 6:11 PM Karl Berry wrote:
> Here's my proposed patch to use chmod and rm -rf (again), instead of
> deltree.pl.
>
> In the verbose output in case of failure, I split the difference and
> added a terminating line "end ls ...", but did not prefix the ls
> output. While I was t
Here's my proposed patch to use chmod and rm -rf (again), instead of
deltree.pl.
In the verbose output in case of failure, I split the difference and
added a terminating line "end ls ...", but did not prefix the ls
output. While I was testing, that seemed the most usable.
Jim, anyone ... look ok?
