Dear Maintainer,

if during synchronization with filesystem-based player no space is left on the
device, synchronization does not stop. It continues until all episodes staged
for synchronization are processed. No error message appears, but not all
episodes are copied to the player.

If option "After syncing an episode" is "Mask as played", all episodes are
marked as played, even unsynced.
The most annoying thing is here, that user needs manual to check and to mark
all episodes that aren't exist on the player, i. e. were not synced.

Possible the things are even worser, if option "After syncing an episode" is
"Delete from gpodder". This would lead to deleted unsynced episodes. I've not
tested this option by myself, but there is old bug report about this:

https://bugs.gpodder.org/show_bug.cgi?id=1644


The best solution would be to stop synchronization, if there is no space on the
destination player.