Verbinal sur Omarchy : un dépôt pacman signé pour Arch

Verbinal pour Linux s’installe à partir d’un .deb depuis sa première version, ce qui convient parfaitement si vous utilisez Ubuntu et ne sert à rien autrement. Depuis la version 1.4.4, elle s’installe sur Arch et sur Omarchy depuis un dépôt pacman signé, et se met à jour avec pacman -Syu en même temps que le reste du système.

Omarchy est la distribution Arch et Hyprland de DHH — Arch Linux en dessous, avec un gestionnaire de fenêtres en mosaïque et un ensemble de réglages par défaut assumés par-dessus. Elle conserve pacman, l’AUR, et son propre dépôt pour les paquets qu’elle publie elle-même.

C’est ce dernier point qui est intéressant, parce que c’est exactement ce dont Verbinal avait besoin.

Pourquoi pas l’AUR

La voie évidente pour un paquet Arch est l’AUR, et c’est la première qui a été tentée. La création de comptes y est fermée : il n’y a donc pas de chemin de ce côté — ce n’est pas une objection de principe, simplement une porte qui ne s’ouvre pas.

Cela n’a finalement aucune importance. Un dépôt pacman est un répertoire de fichiers de paquets et un index de base de données servis en HTTPS. Rien de plus. C’est la même forme que l’OPR d’Omarchy, d’où proviennent omarchy et omarchy-settings. Verbinal en possède donc un, à verbinal.com/linux/arch, et n’importe quelle machine Arch peut l’ajouter en trois lignes.

Le dépôt présente d’ailleurs un avantage réel sur un paquet AUR : personne ne compile quoi que ce soit. Un paquet source obligerait chaque utilisateur à bâtir environ 200 caisses Rust sur sa propre machine. Le dépôt sert un paquet binaire de 6,8 Mo qui s’installe en quelques secondes.

L’installation

Trois étapes. Faire confiance à la clé de signature, ajouter le dépôt, installer.

curl -fsSL https://verbinal.com/linux/arch/verbinal.gpg | sudo pacman-key --add -
sudo pacman-key --lsign-key 61FBCBA86674EFAF009D49495AD7FD0C3CCCD519

La clé est servie depuis le site plutôt que depuis un serveur de clés, et c’est délibéré. pacman-key --recv-keys dépend de la propagation entre serveurs de clés et du fait que le port 11371 ne soit pas bloqué par le réseau où vous vous trouvez ; or une première commande qui reste bloquée est l’endroit où les gens abandonnent. Pour vérifier la clé que vous venez d’importer :

pacman-key --finger 61FBCBA86674EFAF009D49495AD7FD0C3CCCD519

--lsign-key est l’étape qui compte, et celle que l’on saute. Ajouter une clé indique à pacman que la signature existe ; la signer localement lui indique d’y croire.

Puis le dépôt :

sudo tee -a /etc/pacman.conf <<'EOF'

[verbinal]
Server = https://verbinal.com/linux/arch/$arch
EOF

sudo pacman -Sy verbinal

C’est tout. pacman -Syu met désormais Verbinal à jour avec le reste du système et, comme omarchy-pkg-install enveloppe pacman et lit la même configuration, Verbinal y apparaît également.

Les paquets sont signés et pacman conserve son SigLevel par défaut, qui exige des signatures. Si vous préférez installer une seule version sans ajouter de dépôt :

sudo pacman -U https://verbinal.com/linux/arch/x86_64/verbinal-1.4.4-1-x86_64.pkg.tar.zst

Une dépendance facultative

Verbinal déclare gst-plugins-good comme dépendance facultative. C’est ce que GTK utilise pour jouer les courts signaux sonores que l’assistant IA émet lorsqu’il commence et termine son travail. Sans cette dépendance, l’application est silencieuse et par ailleurs identique — une bien mauvaise raison de refuser de s’installer, ce qu’elle ne fait donc pas.

Ce que vous obtenez

La même application, pas une version réduite. Verbinal est un bureau natif GTK 4 et libadwaita pour la plateforme scientifique CANFAR et le CADC, écrit en Rust : lancer et gérer des sessions Skaha, fouiller l’archive du CADC par formulaire ou en ADQL, parcourir VOSpace, ouvrir des images FITS et des cubes spectraux, exécuter des calepins Jupyter sur un noyau local, suivre des protocoles de recherche sous forme de listes à cocher, et confier l’ensemble de l’application à un assistant IA par MCP.

Le thème sombre n’est pas un réglage de Verbinal. libadwaita interroge le bureau, Omarchy répond « sombre », et l’application suit — ce qui résume l’argument en faveur du développement natif plutôt que de la livraison d’un navigateur.

Comment elle est bâtie, et ce que cela a coûté

Le paquet est bâti sur Arch, dans l’intégration continue, contre les bibliothèques que pacman va effectivement résoudre — et non compilé sur Ubuntu en espérant que cela tienne. Deux points ne pouvaient s’apprendre qu’en l’exécutant.

makepkg active l’optimisation à l’édition de liens (LTO) pour chaque paquet par défaut. La caisse ring compile son propre C et son assembleur ; sous -flto, ces objets deviennent du bytecode LLVM que l’étape d’édition de liens de Rust ne résout pas. La construction va jusqu’au bout de la compilation, puis échoue sur une page de undefined symbol: ring_core_*. Rien dans ce symptôme ne désigne la LTO. Le correctif tient en une ligne, options=('!lto'), et s’il est désormais verrouillé par un test, c’est précisément parce que l’échec ne donne rien à chercher.

repo-add écrit la base de données sous forme de lien symbolique. Un fichier joint à une version GitHub ne peut pas être un lien symbolique : l’étape de publication doit donc copier l’archive sous le nom que pacman réclame — et copier sur un lien symbolique existant revient à copier un fichier sur sa propre cible, ce qui échoue. Cette erreur mettait fin à la tâche de publication après la construction et la signature, avant toute publication.

Les deux ont été trouvées en construisant et en installant le paquet dans un conteneur Arch vierge, plutôt qu’en relisant la recette. Le chemin d’installation décrit ici est celui qui est réellement exercé : le paquet bâti par l’intégration continue est ajouté à un dépôt, la clé est récupérée depuis ce site, et pacman l’installe avec signatures exigées. Il rapporte Validated By : SHA-256 Sum Signature, et c’est la phrase qui compte.

Où se trouvent les choses

Le dépôt est à verbinal.com/linux/arch/$arch, la clé de signature à verbinal.com/linux/arch/verbinal.gpg, et les paquets eux-mêmes sur les versions GitHub — le site redirige au lieu de relayer, de sorte que les octets viennent de GitHub et que rien de volumineux n’est jamais versionné dans le site.

Verbinal pour Linux est un logiciel libre sous licence publique générale GNU Affero v3.0. Le PKGBUILD se trouve dans le dépôt de l’application, sous packaging/arch/, à côté du code qu’il empaquette : une dépendance ajoutée à Cargo.toml et la ligne de dépendance du paquet évoluent ainsi dans la même révision.

Pour en savoir plus sur Omarchy : omarchy.org, le manuel, et github.com/omacom/omarchy.