My latest attempt at
git -C /usr/ports pull
returned a fatal "index file smaller than expected"
message.
This was after a fsck episode,and a reboot
that required turning the clock back.
Do I need to reinitialize the git or will this go away
with time?
git -C /usr/ports pull
returned a fatal "index file smaller than expected"
message.
Try to fetch a new index.
% git pull -ff
% make fetchindex
On 2022-11-14, Steven G. Kargl <sgk@REMOVEtroutmask.apl.washington.edu> wrote:
git -C /usr/ports pull
returned a fatal "index file smaller than expected"
message.
Try to fetch a new index.
% git pull -ff
% make fetchindex
You misunderstand the problem. It is git(1) that complains that
its index file (.git/index I guess) is corrupt. This has nothing
to do with the ports tree INDEX-* file.
On Sun, 13 Nov 2022 18:22:13 +0000, Louis Epstein wrote:
My latest attempt at
git -C /usr/ports pull
returned a fatal "index file smaller than expected"
message.
This was after a fsck episode,and a reboot
that required turning the clock back.
Do I need to reinitialize the git or will this go away
with time?
Try to fetch a new index.
% git pull -ff
% make fetchindex
The pull may not be necessary. This should update
/usr/ports/INDEX-13 (12 or 14).
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 379 |
Nodes: | 16 (2 / 14) |
Uptime: | 43:47:20 |
Calls: | 8,141 |
Calls today: | 4 |
Files: | 13,085 |
Messages: | 5,857,952 |