Re: [fossil-users] fossil reports no changes after editing files?

2015-08-06 Thread Stephan Beal
On Thu, Aug 6, 2015 at 6:20 PM, Luca Ferrari fluca1...@infinito.it wrote: On Thu, Aug 6, 2015 at 5:03 PM, Stephan Beal sgb...@googlemail.com wrote: @Luca: protocollazione.inc.php is in the current directory of your repository and checked in, right? What does: fossil ls | grep

Re: [fossil-users] fossil reports no changes after editing files?

2015-07-02 Thread Luca Ferrari
On Wed, Jul 1, 2015 at 2:11 PM, Richard Hipp d...@sqlite.org wrote: With mtime-changes off, Fossil computes a SHA1 checksum on every file in the repository when it checks for changes. That can be slow for a large repo, but it won't miss changes. In fact I've disabled repo-chksum for the

Re: [fossil-users] fossil reports no changes after editing files?

2015-07-02 Thread Stephan Beal
On Thu, Jul 2, 2015 at 9:08 AM, Luca Ferrari fluca1...@infinito.it wrote: On Wed, Jul 1, 2015 at 2:11 PM, Richard Hipp d...@sqlite.org wrote: With mtime-changes off, Fossil computes a SHA1 checksum on every file in the repository when it checks for changes. That can be slow for a large

Re: [fossil-users] fossil reports no changes after editing files?

2015-07-02 Thread Luca Ferrari
On Thu, Jul 2, 2015 at 9:47 AM, Stephan Beal sgb...@googlemail.com wrote: Out of curiosity, are you running under a VM? i have seen many VMs which cannot keep a clock synched well, drifting by 10+ minutes per day, and that might account for what you're seeing. Not this repository, this is

[fossil-users] fossil reports no changes after editing files?

2015-07-01 Thread Luca Ferrari
Hi, this happened twice today: I edited a bunch of file and tried to commit but fossil reports no changes were made and I have to create an --allow-empty commit. I'm running fossil version 1.32 [6c40678e91] 2015-03-14 13:20:34 UTC, the repo-cksum is off. Could it be the cause of this problem?