Thursday, July 10, 2014

Re: Problem with vimdiff and file name resolution

On 2014-07-10, Gary Johnson wrote:
> On 2014-07-10, Bram Moolenaar wrote:

> > Did you check the inode numbers on the files? ls --inode.
> > Vim checks if files are the same, ignoring links, by comparing the inode
> > and devide number.
>
> I was going to try that before, but thought it unnecessary since the
> sizes and modification times were different. I tried it just now,
> changing nightly.0 to nightly.1 because the backups have rotated.
>
> $ ls -il .snapshot/nightly.1/.configfiles/profile.common .configfiles/profile.common
> 14988947 -rwx------ 1 gary gary 2269 Jul 9 15:00 .configfiles/profile.common
> 14988947 -rwx------ 1 gary gary 2992 Jul 7 10:07 .snapshot/nightly.1/.configfiles/profile.common
>
> Sure enough, the inode numbers are the same! I then tried to find
> out something about the file systems to which those directories
> belong, but I don't understand the results.
>
> $ df -h .configfiles
> Filesystem Size Used Avail Use% Mounted on
> fserver1b:/vol/users/gary/ 3.0T 1.6T 1.5T 53% /home/gary
>
> $ df -h .snapshot/nightly.1/.configfiles
> Filesystem Size Used Avail Use% Mounted on
> fserver1b:/vol/users/gary/ 538G 270G 269G 51% /home/gary
>
> The file systems have the same names, but different stats.
>
> I've asked one of our IT guys to explain that to me.
>
> It remains, though, that that "feature" of vimdiff is still causing
> me difficulty. I haven't looked yet at the code that Christian
> pointed me to, but it seems that if vimdiff is going to try for some
> sort of optimization by checking inode numbers, it ought to check
> file systems as well.

I haven't figured out how to distinguish the two file systems. The
stat command indicates that the device numbers (%d) are the same,

$ stat --format="%d %i %m %n" .snapshot/nightly.1/.configfiles/profile.common .configfiles/profile.common
37 14988947 /home/gary .snapshot/nightly.1/.configfiles/profile.common
37 14988947 /home/gary .configfiles/profile.common

and that the file system IDs (%i) are the same,

$ stat -f --format="%i %b %n" .snapshot/nightly.1/.configfiles/profile.common .configfiles/profile.common
0 17616077 .snapshot/nightly.1/.configfiles/profile.common
0 99824436 .configfiles/profile.common

I included the total data blocks in the file systems (%b) in the
second result to help confirm that the file systems are indeed
different.

Regards,
Gary

--
--
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

---
You received this message because you are subscribed to the Google Groups "vim_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

No comments:

Post a Comment