Miscellany

$ sudo apt-file update
Password:
Server file no newer than local file `/var/cache/apt/Contents-i386.gz' -- not retrieving.





Remote file no newer than local file `/var/cache/apt/Contents-i386.gz' -- not retrieving.