That the second time i observe incoherencies with urpmi management of media
indexes when i change timezone: when i was in Brazil, i had perl error in
hdlist age measurement, and i had to force downloading. Now i'm in States,
and i can download two times in a row without ever updating local files.
I just performed urpmi.addmedia -a --curl and urpmi.addmedia -a --wget, but
hdlist seems to stay unchanged:
[root@localhost guillaume]# ll /var/lib/urpmi/
total 26520
-rw-r--r-- 1 root root 7779553 nov 17 23:03 hdlist.contrib.cz
-rw-r--r-- 1 root root 15672440 nov 15 13:21 hdlist.cooker.cz
-rw-r--r-- 1 root root 1757815 nov 15 12:01
hdlist.jpackage.free.cz
-rw-r--r-- 1 root root 1071346 nov 17 20:01 hdlist.plf.cz
-rw------- 1 root root 243824 nov 18 21:44 list.contrib
-rw------- 1 root root 263248 nov 15 17:08 list.cooker
-rw------- 1 root root 39106 nov 18 21:44 list.jpackage.free
-rw------- 1 root root 26448 nov 18 21:45 list.plf
-rw-r--r-- 1 root root 110247 nov 18 21:45
synthesis.hdlist.contrib.cz
-rw-r--r-- 1 root root 139717 nov 15 17:12
synthesis.hdlist.cooker.cz
-rw-r--r-- 1 root root 10902 nov 18 21:45
synthesis.hdlist.jpackage.free.cz
-rw-r--r-- 1 root root 15465 nov 18 21:45
synthesis.hdlist.plf.cz
[root@localhost guillaume]# date
lun nov 18 22:00:27 EST 2002
--
All components become obsolete.
-- Murphy's Computer Laws n°8
