I tried to upgrade my recovery partition today and it failed with “No such device”/OS error 19.

I found this discussion on Reddit in which @mmstick suggested restarting, but with no explanation as to why that was needed or would work. It worked for me.

https://www.reddit.com/r/pop_os/comments/xun8vu/error_updating_recovery_partition_no_such_device/

I’d like to know why it worked and why it was needed, mostly for two reasons: to generally understand the situation better and to imagine what I might have been able to do that didn’t require restarting.

Thanks.