⚡ 64 outils de développement, toujours à jour — chaque nouvelle version upstream arrive dans apt en quelques heures. Rejoindre le Discord

🎁 Le miroir apt nécessite un abonnement. Essayez tous les outils gratuitement pendant 14 jours, sans carte. Voir les tarifs · 🆓 Il existe un miroir gratuit pour toujours · 🔐 apt renvoie 401 ?

Les derniers outils de développement sur Raspberry Pi OS

63 outils de développement dans leur dernière version upstream, une seule commande apt, signés GPG

⚡ La réponse courte. Oui, deb.griffo.io fonctionne sur Raspberry Pi OS. 63 outils de développement s'installent avec un simple apt sur Raspberry Pi OS (Trixie) et Raspberry Pi OS (Bookworm), avec la même commande de configuration que pour Debian et Ubuntu : elle lit VERSION_CODENAME dans /etc/os-release et demande la suite correspondante, trixie sur Raspberry Pi OS (Trixie).

Raspberry Pi OS est la Debian du Raspberry Pi, et son archive contient les outils de développement de la version de Debian sur laquelle elle repose, figés à cette version. Les projets upstream publient rarement des fichiers .deb pour ARM. deb.griffo.io construit des paquets arm64 pour la plupart des outils ci-dessous, et des paquets armhf pour beaucoup d'entre eux : ils s'installent donc sur un Pi avec un simple apt.

🔍 La suite que reçoit votre version

VersionBasée surSuiteOutils disponibles
Raspberry Pi OS (Trixie)Debian 13 “Trixie”trixie63
Raspberry Pi OS (Bookworm)Debian 12 “Bookworm”bookworm61

Un Raspberry Pi 3, 4, 5 ou Zero 2 W sous Raspberry Pi OS 64 bits utilise arm64, l'architecture la mieux couverte par ce dépôt. L'image 32 bits utilise armhf, pour laquelle moins d'outils sont construits. Lancez dpkg --print-architecture pour savoir laquelle vous avez. Le tableau ci-dessous indique quels outils existent pour chacune.

📦 Ajouter le dépôt

Étape 1 : ajouter le dépôt et la clé

Exécuter les commandes
sudo install -d -m 0755 /etc/apt/keyrings
curl -fsSL https://deb.griffo.io/EA0F721D231FDD3A0A17B9AC7808B4DD62C41256.asc | sudo gpg --dearmor --yes -o /etc/apt/keyrings/deb.griffo.io.gpg
echo "deb [signed-by=/etc/apt/keyrings/deb.griffo.io.gpg] https://deb.griffo.io/apt $(. /etc/os-release; echo ${DEBIAN_CODENAME:-${UBUNTU_CODENAME:-$VERSION_CODENAME}}) main" | sudo tee /etc/apt/sources.list.d/deb.griffo.io.list > /dev/null
sudo apt update
install -d -m 0755 /etc/apt/keyrings
curl -fsSL https://deb.griffo.io/EA0F721D231FDD3A0A17B9AC7808B4DD62C41256.asc | gpg --dearmor --yes -o /etc/apt/keyrings/deb.griffo.io.gpg
echo "deb [signed-by=/etc/apt/keyrings/deb.griffo.io.gpg] https://deb.griffo.io/apt $(. /etc/os-release; echo ${DEBIAN_CODENAME:-${UBUNTU_CODENAME:-$VERSION_CODENAME}}) main" | tee /etc/apt/sources.list.d/deb.griffo.io.list > /dev/null
apt update

🆓 Il existe un miroir gratuit pour toujours. deb-free.griffo.io distribue des paquets gratuitement pour toujours — sans compte, sans abonnement, au plus 2 mois derrière l'upstream, correctifs de sécurité immédiats. Il contient aujourd'hui cliamp, Ghostty, lazydocker, Oh My Posh, Uncloud et Zed ; tout autre outil peut y être ajouté sur demande.

Comment fonctionne le miroir gratuit →

Étape 2 : installer n'importe quel outil

sudo apt install -y neovim ripgrep fzf
apt install -y neovim ripgrep fzf

Pour vérifier ce que la commande choisira sur votre machine avant de la lancer : . /etc/os-release; echo ${DEBIAN_CODENAME:-${UBUNTU_CODENAME:-$VERSION_CODENAME}}. Elle doit afficher l'une des suites du tableau ci-dessus.

📋 Tous les outils disponibles sur Raspberry Pi OS

Les versions sont celles que le dépôt sert actuellement pour trixie (mise à jour du 2026-10-19). Une coche sous une architecture signifie que l'outil est construit pour elle ; la version est la même partout.

OutilPaquet aptVersionarm64armhf
Atuinatuin18.24.1-2~griffo✓✗
ble.shble.sh0.4.0-git20260908.d81fd54-2~griffo✓✓
bottombtm0.14.9-2~griffo✓✓
Bunbun1.4.3-3~griffo✓✗
cliampcliamp2.3.0-2~griffo✓✗
Denodeno2.9.7-3~griffo✓✗
difftasticdifftastic0.70.0-2~griffo✓✗
DuckDBduckdb1.5.6-3~griffo✓✗
ezaeza0.23.5-3~griffo✓✓
Fastfetchfastfetch2.66.0-3~griffo✓✓
fishfish4.9.3-2~griffo✓✗
Forgejoforgejo15.0.2-2~griffo✓✓
Forgejo Runnerforgejo-runner13.2.0-2~griffo✓✗
fresh-editorfresh-editor0.5.3-2~griffo✓✗
fzffzf0.74.5-2~griffo✓✓
Garagegarage2.4.1-2~griffo✓✓
Ghosttyghostty1.3.1-6~trixie✗✗
GitUIgitui0.28.1-2~griffo✓✓
GPU Screen Recordergpu-screen-recorder-cli6.1.4-1~trixie✗✗
Headscaleheadscale0.29.5-2~griffo✓✗
Helixhelix25.07.1-3~griffo✓✗
herdrherdr0.9.5-2~griffo✓✗
Jujutsujujutsu0.46.0-2~griffo✓✗
justjust1.59.0-2~griffo✓✓
k9sk9s0.51.0-2~griffo✓✓
kittykitty0.49.2-2~griffo✓✗
lazydockerlazydocker0.25.2-2~griffo✓✓
lazygitlazygit0.66.2-2~griffo✓✓
lazyjiralazyjira2.19.2-2~griffo✓✗
lowfilowfi2.0.7-3~griffo✗✗
mitmproxymitmproxy12.2.3-3~griffo✓✗
Neovimneovim0.12.6-2~griffo✗✗
Nushellnushell0.116.1-2~griffo✓✓
Oh My Poshoh-my-posh31.8.0-2~griffo✓✓
rclonerclone1.75.2-2~griffo✓✓
resticrestic0.19.1-2~griffo✓✓
rgrcrgrc0.6.35-2~griffo✓✓
ripgrepripgrep15.2.0-2~griffo✓✓
Ruffruff0.17.1-2~griffo✓✓
rumdlrumdl0.3.0-2~griffo✓✗
Serieserie0.10.0-2~griffo✓✗
Spotifastspotifast0.13.3-2~griffo✓✗
Starshipstarship1.27.0-2~griffo✓✓
superfilesuperfile1.6.0-2~griffo✓✗
Televisiontelevision0.15.9-2~griffo✓✗
Termusictermusic0.13.2-3~griffo✓✗
TigerBeetletigerbeetle0.17.9-2~griffo✓✗
tldrtldr1.13.1-2~griffo✓✗
tree-sitter-clitree-sitter-cli0.27.1-2~griffo✓✓
Unclouduncloud0.21.0-2~griffo✓✗
Unregistryunregistry0.4.3-2~griffo✓✗
uvuv0.13.1-2~griffo✓✓
viuviu1.6.1-3~griffo✓✗
workmuxworkmux0.1.276-2~griffo✓✗
Yaziyazi26.9.1-2~griffo✓✗
yqyq4.54.1-2~griffo✓✓
yt-dlpyt-dlp2026.08.19-2~griffo✓✓
ZapZapzapzap7.5.1-2~griffo✓✓
Zedzed1.24.3-1~griffo✓✗
Zellijzellij0.45.1-2~griffo✓✗
Zigzig-stable0.17.0-2~griffo✓✗
ZLSzls0.16.1-2~griffo✓✓
zoxidezoxide0.10.0-2~griffo✓✓

❓ Questions fréquentes

Quels modèles de Raspberry Pi sont pris en charge ?

Tout Pi sous Raspberry Pi OS 64 bits (arm64), ce qui couvre les Pi 3, 4, 5, 400, 500 et Zero 2 W. L'image 32 bits (armhf) fonctionne aussi, pour les outils construits pour armhf. Le Pi Zero d'origine et le Pi 1 utilisent armv6, pour lequel aucun paquet n'est construit ici.

Vaut-il mieux Raspberry Pi OS 64 bits ou 32 bits pour cela ?

64 bits. Tous les outils d'ici qui tournent sur ARM sont construits pour arm64, et seulement une partie d'entre eux pour armhf.

deb.griffo.io est-il un dépôt officiel de Raspberry Pi OS ?

Non. C'est un dépôt non officiel maintenu par Dario Griffo, sans lien avec Raspberry Pi OS. Chaque paquet est construit automatiquement à partir de la version upstream officielle, l'empaquetage est open source sur GitHub et l'archive est signée GPG.

Est-ce payant ?

Le dépôt fonctionne par abonnement (15 € par an ou 150 € une seule fois), avec un essai gratuit. Un miroir gratuit, deb-free.griffo.io, propose une sélection plus restreinte d'outils avec un léger décalage, avec la même configuration sur cette distribution.

Comment supprimer le dépôt ?

Supprimez /etc/apt/sources.list.d/deb.griffo.io.list et /etc/apt/keyrings/deb.griffo.io.gpg, puis lancez sudo apt update. Les outils que vous avez installés restent en place jusqu'à ce que vous les supprimiez avec apt remove.

🔗 Voir aussi

Commencez votre essai gratuit de 14 jours

Saisissez votre email et nous vous enverrons vos identifiants apt en quelques minutes. Sans carte.

Elle deviendra votre identifiant apt. Si vous restez, payez avec la même adresse et rien ne change sur vos machines.

Un essai par adresse email. Deux jours avant la fin, nous vous envoyons un lien pour garder l’accès. Si vous ne faites rien, l’accès s’arrête et rien n’est facturé.