4.1.4 Les avantages des manifestes

Les manifestes sont pratiques pour garder la liste des paquets et, par exemple, les synchroniser entre plusieurs machines avec un système de gestion de versions.

Les gens se plaignent souvent que les manifestes sont lents à installer quand ils contiennent beaucoup de paquets. C’est particulièrement embêtant quand vous voulez juste mettre à jour un paquet dans un gros manifeste.

C’est une raison de plus d’utiliser plusieurs profils, qui sont bien pratiques pour diviser les manifestes en plusieurs ensembles de paquets de même type. Plusieurs petits profils sont plus flexibles et plus maniables.

Les manifestes ont de nombreux avantages. En particulier, ils facilitent la maintenance :

• Lorsqu’un profil est créé à partir d’un manifeste, le manifeste lui-même est suffisant pour garder la liste des paquets sous le coude et réinstaller le profil plus tard sur un autre système. Pour les profils ad-hoc, il faudrait générer une spécification de manifeste à la main et noter les versions de paquets pour les paquets qui n’utilisent pas la version par défaut.
• guix package --upgrade essaye toujours de mettre à jour les paquets qui ont des entrées propagées, même s’il n’y à rien à faire. Les manifestes de Guix résolvent ce problème.
• Lorsque vous mettez partiellement à jour un profil, des conflits peuvent survenir (à cause des dépendances différentes entre les paquets à jour et ceux qui ne le sont pas) et ça peut être embêtant à corriger à la main. Les manifestes suppriment ce problème puisque tous les paquets sont toujours mis à jour en même temps.
• Comme on l’a mentionné plus haut, les manifestes permettent d’avoir des profils reproductibles, alors que les commandes impératives guix install, guix upgrade, etc, ne le peuvent pas, puisqu’elles produisent un profil différent à chaque fois qu’elles sont lancées, même avec les même paquets. Voir la discussion sur ce problème.
• Les spécifications de manifestes sont utilisables par les autres commandes ‘guix’. Par exemple, vous pouvez lancer guix weather -m manifest pour voir combien de substituts sont disponibles, ce qui peut vous aider à décider si vous voulez faire la mise à jour maintenant ou un peu plus tard. Un autre exemple : vous pouvez lancer guix package -m manifest.scm pour créer un lot contenant tous les paquets du manifeste (et leurs références transitives).
• Enfin, les manifestes ont une représentation Scheme, le type d’enregistrement ‘<manifest>’. Vous pouvez les manipuler en Scheme et les passer aux diverses API de Guix.

Vous devez bien comprendre que même si vous pouvez utiliser les manifestes pour déclarer des profils, les deux ne sont pas strictement équivalents : les profils pour l’effet de bord « d’épingler » les paquets dans le dépôt, ce qui évite qu’ils ne soient nettoyés (voir Invoquer guix gc dans le manuel de référence de GNU Guix) et s’assure qu’ils seront toujours disponibles à n’importe quel moment dans le futur.

Voyons un exemple :

1. Vous avez un environnement pour bidouiller un projet pour lequel il n’y a pas encore de paquet Guix. Vous construisez l’environnement avec un manifeste puis lancez guix environment -m manifest.scm. Jusqu’ici tout va bien.
2. Plusieurs semaines plus tard vous avez lancé quelques guix pull entre temps. Plusieurs dépendances du manifeste ont été mises à jour ; ou bien vous avez lancé guix gc et certains paquets requis par le manifeste ont été nettoyés.
3. Finalement, vous vous remettez au travail sur ce projet, donc vous lancez guix shell -m manifest.scm. Mais maintenant vous devez attendre que Guix construise et installe des paquets !

Idéalement, vous voudriez éviter de perdre du temps à reconstruire. C’est en fait possible, tout ce dont on a besoin, c’est d’installer le manifeste dans un profil et d’utiliser GUIX_PROFILE=/le/profil; . "$GUIX_PROFILE"/etc/profile comme on l’a expliqué plus haut : cela garantie que l’environnement de bidouillage sera toujours disponible.

Avertissement de sécurité : bien que garder d’anciens profils soit pratique, gardez à l’esprit que les anciens paquets n’ont pas forcément reçu les dernières corrections de sécurité.