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: | 376 |
Nodes: | 16 (3 / 13) |
Uptime: | 34:08:03 |
Calls: | 8,025 |
Calls today: | 4 |
Files: | 13,028 |
Messages: | 5,824,699 |