Modification dates are wrong

[LukasLedvina]

In commit 6bda78fc9 to sbirka2015.git differs modification times in pulled files.

There are also these (see below) two files with modification times 2016-06-23 21:57:25.663083963 +0200 and 2016-06-23 21:57:25.667083888 +0200 (4ms difference). More files in this commit have another modification times. These two have got the same change time, but file lists/5-stejProud.tex has Change: 2016-06-23 21:57:25.779081805 +0200 which differs from others.

Files lists/content-05.tex and problems/problem_dvojlinka-reloaded.tex have got completely different change and modification times.

In the lists directory are the times correlated, in problems/graphics have 3 files correlated modification and change times (but different form lists directory) the fourth had probably older modification time (make build the eps file from mp file).

$ stat problems/graphics/problem_obvody-pyramidy-1-zadani.mp
  File: ‘problems/graphics/problem_obvody-pyramidy-1-zadani.mp’
  Size: 3339            Blocks: 8          IO Block: 4096   regular file
Device: ca12h/51730d    Inode: 471667754   Links: 1
Access: (0660/-rw-rw----)  Uid: ( 1013/  astrid)   Gid: (  117/astrid-builder-fykos)
Access: 2016-06-23 21:57:25.983078010 +0200
Modify: 2016-06-23 21:57:25.663083963 +0200
Change: 2016-06-23 21:57:25.767082028 +0200
 Birth: -

and

$ stat problems/problem_odporny-fibonacci.tex 
  File: ‘problems/problem_odporny-fibonacci.tex’
  Size: 2217            Blocks: 8          IO Block: 4096   regular file
Device: ca12h/51730d    Inode: 437307536   Links: 1
Access: (0660/-rw-rw----)  Uid: ( 1013/  astrid)   Gid: (  117/astrid-builder-fykos)
Access: 2016-06-23 21:57:41.722785189 +0200
Modify: 2016-06-23 21:57:25.667083888 +0200
Change: 2016-06-23 21:57:25.767082028 +0200
 Birth: -

and

$ stat lists/content-05.tex 
  File: ‘lists/content-05.tex’
  Size: 172             Blocks: 8          IO Block: 4096   regular file
Device: ca12h/51730d    Inode: 138246119   Links: 1
Access: (0660/-rw-rw----)  Uid: ( 1013/  astrid)   Gid: (  117/astrid-builder-fykos)
Access: 2016-06-23 21:57:41.562788166 +0200
Modify: 2016-06-23 21:57:25.643084335 +0200
Change: 2016-06-23 21:57:25.779081805 +0200
 Birth: -

[Werkov]

astrid/astrid/pages.py

Line 87 in b6391b1

def _updateRepo(self, reponame):

Seems all the fiddling for correct permissions: a) isn't complete, b) may affect file timestamps.

FTR, mtime (modification of data), ctime (modification of metadata (inode)). AFAICS, make should use mtime.