Op mijn desktop werk ik met Linux Mint 14. Op mijn laptop heb ik de lichtgewicht Ubuntu/Mint fork Peppermint 64bit geïnstalleerd om eens uit te proberen. Het werkt inderdaad heel prettig. Wie heeft ook ervaring met Peppermint en misschien tips? Het enige dat niet goed werkt is Docky (laatste versie 2.1.4-1). Ik heb het eerst via Softwarebeheer geïnstalleerd en later ook via de terminal volgens een instructie van internet, maar met hetzelfde resultaat. De 'Algemene opties' kan ik wel instellen (op mijn voorkeur 'transparant'), maar de 'Dock-instellingen' niet want die zijn niet actief ('intelligent verbergen' kan dus niet). Ook 'Zoom' is niet actief. Ik heb Docky nu als statische icoontjes (werken wel) maar dat is niet fraai.