Re: we've been hosed, Tommy

[Christian Jaeger <christian.jaeger@ethlife.ethz.ch>]

Some ideas:

- Use apt pinning.  /etc/apt/preferences    man apt_preferences
 i.e.
  Packages: *
  Pin: release a=stable
  Pin-Priority: 2000
  Packages: *
  Pin: release a=testing
  Pin-Priority: 900
  Packages: *
  Pin: release a=unstable
  Pin-Priority: 400
then put all three of stable,testing and unstable resources into 
/etc/apt/sources.list, apt-get update && apt-get upgrade
should downgrade everything to stable (since 2000 is > 1000). At 
least it should help resolving all dependencies since every 
dependency should be found in sources.list.

- if apt/dpkg doen't work because of unresolved symbols: booting from 
an installer CD will get you a place from where to work. dpkg has 
options for giving the filesystem root. No idea if this works in that 
case. If not maybe copy over the libraries manually.

Christian.