Faheem Mitha wrote at 19:15 +0530 on May 12, 2021:
.
.
> The Expect script `shelveinterrupt.exp` calls the shell script
> `shelveinterrupt.sh`.
.
.
> Suppose one does a Ctrl-C on the following dialog.
>
> file 'foo' was deleted in local [working-copy] but was modified
I recently unshelved in a working directory with the wrong
parent. This is quite easy to do. But it's not so easy to recover
from. The scripts below illustrate the situation I accidentally
created.
The Expect script `shelveinterrupt.exp` calls the shell script
`shelveinterrupt.sh`.
What