"David E. Wheeler" <david(at)kineticode(dot)com> writes:
> I sure would like it if the install script with no version in it corresponded to the latest version. Otherwise, one must rename the file every time one does a release. And as you're noting, you lose Git history that way.
(1) git does know it's a rename, it's just not default for git diff to
show it that way.
(2) I think that the normal use-case would not involve removing the old
file, so this is moot anyhow.
regards, tom lane