Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhancements to handling of externally modified files #8431

Open
3 of 5 tasks
khatchad opened this issue Jan 15, 2022 · 3 comments
Open
3 of 5 tasks

Enhancements to handling of externally modified files #8431

khatchad opened this issue Jan 15, 2022 · 3 comments

Comments

@khatchad
Copy link

khatchad commented Jan 15, 2022

I'm always frustrated when I issue a git pull on the command line that changes the .bib file already opened in JabRef. I see there is a warning about the file being externally altered and asking me whether I want to review it. However, I often ignore this warning as:

What's worse is that when I ignore the warning and make changes to the older version of the file in memory, the newer data gets overwritten. Then, I have to undo my new changes, reload the file in JabRef, and make the new changes again.

I wish this feature worked more like autoread in Vim where external file changes are automatically read from disk into the open buffer. The exception would be when I have unsaved changes open and the file changes underneath. Then, perhaps a review option would be advantageous.

@tobiasdiez tobiasdiez added this to Normal priority in Features & Enhancements via automation Jan 16, 2022
@tobiasdiez tobiasdiez moved this from Normal priority to High priority in Features & Enhancements Jan 16, 2022
@Siedlerchr
Copy link
Member

Siedlerchr commented Jan 16, 2022

Hi,

yes this is a known problem that the change detection and our saving/backup strategy currently have issues. We are aware of this and try to come up with a solution.
For the review crash, try out the latest development version. That issue has been fixed there.

@koppor
Copy link
Member

koppor commented May 21, 2023

Some links to related issues:

In https://github.com/JabRef/jabref/blob/main/docs/code-howtos/remote-storage-jabdrive.md we desribe our synchronization algorithm with remote storages. Maybe, this also helps to resolve this issue.

At #5669, I began with an implementation solving that issue.

@koppor
Copy link
Member

koppor commented Mar 5, 2024

Related issue: koppor#578

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: High priority
Features & Enhancements
  
High priority
Development

No branches or pull requests

4 participants