Instructions for adding this repository to your Debian/Ubuntu/Knoppix/... system ================================================================================ 1. Open a shell 2. Add the server to your repository list by executing: sudo wget -nH -rP /etc/apt/sources.list.d/ http://deb.pinguin.lu/pinguin.lu.list wget -q http://deb.pinguin.lu/debsign_public.key -O- | sudo apt-key add - sudo apt-get update Currently, i386 and amd64 systems are supported. 3. That's it. You are now ready to install packages from this repository.