Nach einem kaputten /usr Filesystem auf einem meiner Server kam ich heute in die Verlegenheit, dass /usr/share verloren gegangen ist. Glücklicherweise lässt sich das recht einfach durch die Neuinstallation aller installierten Pakete beheben:


COLUMNS=200 dpkg -l | awk '/^[hi]i/{print $2}' | xargs apt-get -y --reinstall install