Hello Benjamin, thanks for reporting! I think I see why the bug happens: you're not root, apt-index-watcher should do the update for you, but probably you open the cache before apt-index-watcher gets to it.
Plans are to improve the system by having open ping apt-index-watcher and wait for the cache to be rebuilt. However yes, we do seem to have a race condition here. If you wait like 10 seconds before opening the cache, would the bug still happen? Ciao, Enrico -- GPG key: 1024D/797EBFAB 2000-12-05 Enrico Zini <[EMAIL PROTECTED]>
signature.asc
Description: Digital signature
