After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 114215 - check for modified file
check for modified file
Status: RESOLVED DUPLICATE of bug 75861
Product: gedit
Classification: Applications
Component: general
unspecified
Other other
: Normal enhancement
: ---
Assigned To: Gedit maintainers
gedit QA volunteers
: 145525 161709 314753 318333 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2003-06-01 21:21 UTC by Johannes Berg
Modified: 2005-12-15 20:27 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement


Description Johannes Berg 2003-06-01 21:23:27 UTC 
Package: gedit
Severity: enhancement
Version: 2.2.1
Synopsis: check for modified file
Bugzilla-Product: gedit
Bugzilla-Component: general

Description:
Description of Problem:
I'm using gedit to edit some latex files, and we use cvs to manage them.
It would be very nice if gedit would have some option to reload a file
if it has changed on disk, because it happens otherwise that someone
updates, saves in gedit, and commits thus commiting the old version.




------- Bug moved to this database by unknown@bugzilla.gnome.org 2003-06-01 17:23 -------

Reassigning to the default owner of the component, maggi@athena.polito.it.
Comment 1 Paolo Maggi 2003-06-02 07:46:24 UTC 
File->Revert should do what you are asking for or am I missing something?
Comment 2 Johannes Berg 2003-06-02 07:51:33 UTC 
The thing is that I'd like gedit to automatically recognise if a file
was changed outside the editor, so that I won't have to remember to
hit file->revert ;)

If it recognises a file change, options depend on the file state
1) file is unchanged, then options are
a) load new file
b) don't load new file

2) if file is changed, options are
a) load new file (KILL CHANGES)
b) don't load new file (KILL CHANGES FROM OTHER PROGRAM)
c) save my version with different name (to allow for diffing)
Comment 3 Stephen Kennedy 2004-07-21 15:36:48 UTC 
I agree, this and bug #143943 make gedit more painful than it
need be when files are modified externally.
This is exactly what gnome-vfs-monitor was made for.
Comment 4 Paolo Maggi 2004-07-26 16:29:12 UTC 
*** Bug 145525 has been marked as a duplicate of this bug. ***
Comment 5 Wolfgang Köbler 2004-12-19 16:38:33 UTC 
*** Bug 161709 has been marked as a duplicate of this bug. ***
Comment 6 Paolo Borelli 2005-09-28 11:04:55 UTC 
*** Bug 314753 has been marked as a duplicate of this bug. ***
Comment 7 Olav Vitters 2005-10-09 14:33:26 UTC 
*** Bug 318333 has been marked as a duplicate of this bug. ***
Comment 8 Paolo Borelli 2005-12-15 20:27:40 UTC 
gedit now is able to detect if a file has changed outside when saving.

This bug requires a bit further than that: it requests active monitoring of the
file. At the moment we decided to not go this way because of all the stability
and reliability issues that current file monitoring implementations have.

I am marking the bug as duplicate of 75861 (which deals with monitoring if a
file is deleted) since, if/when the feature is implemented, it will deal both
with monitoring deletion and external changes.

I'll update the summary of bug 75861 accordingly.

*** This bug has been marked as a duplicate of 75861 ***