Home » Blog » Actualités » On reparle de pantheon sous Debian

On reparle de pantheon sous Debian

Posté dans : Actualités 0

Il y a plus d’un an je vous parlais de Nicolas Bruguier qui avait packagé pantheon desktop pour Debian et qui était à la recherche de testeurs. Il a posté il y a deux jours sur Google+ des nouvelles du portage !

Il a mis à jour les paquets, ce sont les mêmes versions que sur elementary OS 0.4 Loki, donc AppCenter est même présent comme on peut le voir ici. Ces paquets sont disponibles que pour Debian Stretch (testing).

Le dépôt de paquets se trouve ici et n’est disponible que pour deux branches: amd64 et armhf

Bien évidemment, ce portage est encore expérimental, mais si vous voulez tester, voici la procédure à suivre:

On rajoute le dépôt au sources.list:

D’abord, on récupère la clé gpg:

wget http://gandalfn.ovh/debian/pantheon-debian.gpg.key -O- | apt-key add -

On ajoute le dépôt « stretch-loki »:

echo "deb http://gandalfn.ovh/debian stretch-loki main contrib" > /etc/apt/sources.list.d/pantheon-debian.list

On met à jour la liste des dépôts:

apt-get update

Installation de Pantheon

Commande d’installation:

apt-get install pantheon

ou si vous voulez installer pantheon desktop sans le greeter:

apt-get install pantheon-shell

Cas particulier: Mise à jour depuis la version précédente du dépôt

Si vous utilisiez déjà ce dépôt, avant de mettre à jour voici ce qu’il faut faire:

Il faut créer ce nouveau fichier:

$> vi /etc/apt/preferences.d/pantheon-debian

puis remplir le fichier avec ces règles:

Package: *
Pin: origin "gandalfn.ovh"
Pin-Priority: 1001

Ensuite vous pourrez faire

apt-get dist-upgrade

Source: http://gandalfn.ovh/