====== Tipps für Ubuntu ======


===== Nicht mehr benutzte Kernel entfernen =====
  * https://markmcb.com/2013/02/04/cleanup-unused-linux-kernels-in-ubuntu/
  * https://askubuntu.com/questions/183877/how-to-remove-old-linux-kernel-modules-tp-smapi

===== Besonderheiten bei Debian/Ubuntu-Linux =====

==== Bibliotheken ====

  - openssl-dev heißt libssl-dev
  - libdnet ist nicht die Dummynet Library