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: | 546 |
Nodes: | 16 (2 / 14) |
Uptime: | 52:46:07 |
Calls: | 10,397 |
Calls today: | 5 |
Files: | 14,067 |
Messages: | 6,417,386 |
Posted today: | 1 |