desktop.ini file in .lock folder prevents sync

[harrisra]

I am using google drive (locally synced using google file stream app) to synchronise a Jopin 'File system' target folder across multiple computers (all windows 10).

Windows 10 has a tendency to auto create hidden 'desktop.ini' files within folders (these files store meta data for the folder - i.e. which icon show). I think in my case google drive is using the desktop.ini file to tell windows to show a 'shared folder icon' instead of the normal folder icon but you would these files if you changed how a folder should order/sort show files etc.

It looks like Joplin's sync process makes use of a '.lock' folder within the 'File system' target folder.

When this '.lock' folder contains a hidden 'desktop.ini' file the sync process fails with the following error:

Completed: 2020-06-18 08:24
Last error: Error: Sync target appears to be locked but lock filename is invalid: .lock/desktop.ini. Please delete it on the sync target to continue.

Deleting the desktop.ini file from this folder allows sync to continue (so there is a workaround). However since windows will recreate it again can a future build of Joplin be set to ignore the presence of this file.

Environment

Joplin version: 1.0.218 (prod, win32)
Platform: Windows
OS specifics: Windows 10

Steps to reproduce

1. Create a desktop.ini file in the .lock folder of a Jopin 'File system' target
2. Initiated Synchronisation
3. The sync process fails with the following error:

Completed: 2020-06-18 08:24
Last error: Error: Sync target appears to be locked but lock filename is invalid: .lock/desktop.ini. Please delete it on the sync target to continue.

Describe what you expected to happen

Synchronisation completes as normal