Da velocidade de leitura do blog, parece que o lançador na parte inferior da imagem é chamado de "docky".
Docky 2,1,4-1 está no debian 7.
Para instalar, você precisa executar apt-get install docky como root.
Isso pode ser feito digitando, no prompt de comando:
sudo apt-get install docky - se você tiver privilégios sudo,
ou
su para se tornar root seguido por apt-get install docky - se você souber a senha do root.