mathieu/duct-tape

Watch

Fork 0

Préparer les ports bruts Code OSS, les thèmes bat et Monokai GTK compatibles #5

New issue

Closed

opened 2026-10-25 06:23:35 +00:00 by mathieu · 2 comments

mathieu commented

2026-10-25 06:23:35 +00:00

Owner

Problème / demande

Le chantier mathieu/dotfiles#32 ajoute quatre palettes natives. Les nouveaux ports Code OSS sont distribués en fichiers de données plutôt qu’en VSIX ; One Dark/Rosé Pine nécessitent une compilation explicite du cache bat ; le CSS Monokai GTK3.20 doit être corrigé sans exécuter d’installeur amont.

Résultat attendu

Support de ressources Code données seules avec manifeste inerte et normalisation Gruvbox strictement figée ; enregistrement natif Code isolable ; compilation bat séparée des bascules, avec préservation des thèmes préexistants et sauvegarde du cache ; correction Monokai bornée par SHA256. Tests unitaires de refus/isolement et validations natives. set reste hors ligne et conserve la politique de réapplication explicitement demandée par Mathieu.

Lot intégré et validé ; racine historique dotfiles#32. Filtre dédié retiré après achèvement.

with pi 🥧

## Problème / demande Le chantier mathieu/dotfiles#32 ajoute quatre palettes natives. Les nouveaux ports Code OSS sont distribués en fichiers de données plutôt qu’en VSIX ; One Dark/Rosé Pine nécessitent une compilation explicite du cache bat ; le CSS Monokai GTK3.20 doit être corrigé sans exécuter d’installeur amont. ## Résultat attendu Support de ressources Code données seules avec manifeste inerte et normalisation Gruvbox strictement figée ; enregistrement natif Code isolable ; compilation bat séparée des bascules, avec préservation des thèmes préexistants et sauvegarde du cache ; correction Monokai bornée par SHA256. Tests unitaires de refus/isolement et validations natives. `set` reste hors ligne et conserve la politique de réapplication explicitement demandée par Mathieu. Lot intégré et validé ; racine historique `dotfiles#32`. Filtre dédié retiré après achèvement. - with pi 🥧

mathieu added the

Kind/Enhancement

Area/CLI

labels

2026-10-25 06:23:35 +00:00

mathieu referenced this issue from mathieu/dotfiles

2026-10-25 06:23:36 +00:00

Ajouter Gruvbox, Monokai, One Dark et Rosé Pine aux thèmes coordonnés #32

mathieu referenced this issue from a commit

2026-10-25 06:41:33 +00:00

feat(desktop-theme): prepare native ports for four additional palettes

mathieu referenced this issue from a commit

2026-10-25 06:49:40 +00:00

fix(desktop-theme): allow explicit built-in GTK4 fallback for GTK3 ports

mathieu referenced this issue from a commit

2026-10-25 06:49:43 +00:00

feat(themes): add Gruvbox, Monokai, One Dark and Rosé Pine profiles

mathieu commented

2026-10-25 06:56:30 +00:00

Author

Owner

Intégré et préparé

Révisions distantes vérifiées : dotfiles@0785e326ec5a682f93767d07eced5a888c0c0dee, duct-tape@e216be77b5f71f13abcbe5f93414ba4187829fd0.

Les sept choix sont disponibles dans desktop-theme list et Super+V → Config → Thème du bureau. Les 20 ressources du catalogue sont vérifiées dans le HOME réel, dont 13 nouvelles ressources. Trois nouveaux ports Code inertes sont reconnus par son vrai CLI (8 extensions au total, identifiants préexistants conservés) ; Monokai est intégré à Code. Plugins Neovim et cache bat prêts. Génération active Nord et fichier de préférences Code demeurent inchangés après préparation et simulations.

Validation et corrections

89 tests outil passent : 54 moteur, 29 ressources, 4 bat natifs, 1 enregistrement Code isolé, 1 btop natif couvrant sept palettes et réécritures Default.
Côté consommateurs : 10 contrats/rendus (7 palettes, vrai parseur Kitty), 5 Neovim, 4 sélecteur Qt natif, 1 palette atomique, 1 intégration Config/audio/session (45 contrôles), 5 UI (87 contrôles), 11 Pi. Ruff et Qt6 qmllint passent.
Préparation complète et vérification hors ligne sans aucune écriture constatée dans un HOME privé. Nouvelles couleurs natives confirmées par le vrai Code, bat et les quatre plugins Neovim épinglés (fonds 282828 / 272822 / 282c34 / 191724).
Fournisseurs GTK3 >=3.20 valides, ressources et images Monokai décodées ; ancien CSS intégré invalide utilisé comme contrôle négatif. Rendus GTK3 sous compositeur headless privé, sans réglage du bureau personnel.
Le réglage forcé sombre de Rosé Pine révélait réellement des surfaces claires. Correction par gtk3_prefer_dark=0 dans ce seul profil, GTK4 conservé à 1 : les préférences effectivement générées sont vérifiées puis le rendu natif confirme un fond sombre rgb(31,29,46), vue rgb(38,35,58).
Les bascules complètes des quatre nouveaux profils et une chaîne rollback One Dark → Monokai → Gruvbox passent dans le HOME privé sans dérive. Les simulations passent aussi via le binaire déployé, sur le HOME réel.
Revues indépendantes : conformes après correction de la sauvegarde bat récursive lorsque le cache englobe l’état. Régression native couvrant les deux chevauchements, conservation des thèmes/syntaxes et absence de changement du cache lors d’un échec.
Shell effectif : PID 2466091 conservé ; IPC expose les sept choix, Nord actif, aucune dérive. Les rendus synthétiques du sélecteur à 380/560 px montrent le repli des boutons.

Limites maintenues

Gruvbox GTK est une adaptation colorless ancienne ; Monokai cible GTK >=3.20 avec correction locale bornée. Gruvbox/Monokai n’ont pas de port GTK4 retenu : leur fallback explicite utilise le style sombre intégré et efface l’ancien import, plutôt que retenir Nord ou bloquer la bascule. One Dark GTK est une adaptation historique Adwaita, Rosé Pine GTK4 un recolor, pas un style complet. La fidélité universelle libadwaita et Ghostty absent ne sont pas revendiqués. Certaines fenêtres/éditeurs/pages demandent encore un reload normal ; aucun processus applicatif n’a été fermé de force.

Documentation, attribution et TODO local actualisés. iq-air.sh et les fichiers étrangers sont préservés. Preuves détaillées : /tmp/more-theme-native-ycaWky/ (reproducteurs redirigés vers les checkouts main intégrés), /tmp/more-themes-final-verification.json. Les revues de code n’avaient pas d’outil d’exécution ; les tests ont été exécutés par le parent et la validation native déléguée.

with pi 🥧

## Intégré et préparé Révisions distantes vérifiées : `dotfiles@0785e326ec5a682f93767d07eced5a888c0c0dee`, `duct-tape@e216be77b5f71f13abcbe5f93414ba4187829fd0`. Les sept choix sont disponibles dans `desktop-theme list` et **Super+V → Config → Thème du bureau**. Les 20 ressources du catalogue sont vérifiées dans le HOME réel, dont 13 nouvelles ressources. Trois nouveaux ports Code inertes sont reconnus par son vrai CLI (8 extensions au total, identifiants préexistants conservés) ; Monokai est intégré à Code. Plugins Neovim et cache bat prêts. Génération active Nord et fichier de préférences Code demeurent inchangés après préparation et simulations. ### Validation et corrections - **89 tests outil** passent : 54 moteur, 29 ressources, 4 bat natifs, 1 enregistrement Code isolé, 1 btop natif couvrant sept palettes et réécritures Default. - Côté consommateurs : 10 contrats/rendus (7 palettes, vrai parseur Kitty), 5 Neovim, 4 sélecteur Qt natif, 1 palette atomique, 1 intégration Config/audio/session (45 contrôles), 5 UI (87 contrôles), 11 Pi. Ruff et Qt6 qmllint passent. - Préparation complète et vérification hors ligne sans aucune écriture constatée dans un HOME privé. Nouvelles couleurs natives confirmées par le vrai Code, bat et les quatre plugins Neovim épinglés (fonds 282828 / 272822 / 282c34 / 191724). - Fournisseurs GTK3 >=3.20 valides, ressources et images Monokai décodées ; ancien CSS intégré invalide utilisé comme contrôle négatif. Rendus GTK3 sous compositeur headless privé, sans réglage du bureau personnel. - Le réglage forcé sombre de Rosé Pine révélait réellement des surfaces claires. Correction par `gtk3_prefer_dark=0` dans ce seul profil, GTK4 conservé à 1 : les préférences effectivement générées sont vérifiées puis le rendu natif confirme un fond sombre rgb(31,29,46), vue rgb(38,35,58). - Les bascules complètes des quatre nouveaux profils et une chaîne rollback One Dark → Monokai → Gruvbox passent dans le HOME privé sans dérive. Les simulations passent aussi via le binaire déployé, sur le HOME réel. - Revues indépendantes : conformes après correction de la sauvegarde bat récursive lorsque le cache englobe l’état. Régression native couvrant les deux chevauchements, conservation des thèmes/syntaxes et absence de changement du cache lors d’un échec. - Shell effectif : PID **2466091** conservé ; IPC expose les **sept choix**, Nord actif, aucune dérive. Les rendus synthétiques du sélecteur à 380/560 px montrent le repli des boutons. ### Limites maintenues Gruvbox GTK est une adaptation colorless ancienne ; Monokai cible GTK >=3.20 avec correction locale bornée. **Gruvbox/Monokai n’ont pas de port GTK4 retenu** : leur fallback explicite utilise le style sombre intégré et efface l’ancien import, plutôt que retenir Nord ou bloquer la bascule. One Dark GTK est une adaptation historique Adwaita, Rosé Pine GTK4 un recolor, pas un style complet. La fidélité universelle libadwaita et Ghostty absent ne sont pas revendiqués. Certaines fenêtres/éditeurs/pages demandent encore un reload normal ; aucun processus applicatif n’a été fermé de force. Documentation, attribution et TODO local actualisés. `iq-air.sh` et les fichiers étrangers sont préservés. Preuves détaillées : `/tmp/more-theme-native-ycaWky/` (reproducteurs redirigés vers les checkouts main intégrés), `/tmp/more-themes-final-verification.json`. Les revues de code n’avaient pas d’outil d’exécution ; les tests ont été exécutés par le parent et la validation native déléguée. - with pi 🥧

mathieu closed this issue

2026-10-25 06:56:30 +00:00

mathieu referenced this issue from a commit

2026-10-25 14:02:54 +00:00

chore(desktop-theme): retire removed Monokai preparation recipe

mathieu commented

2026-10-25 14:02:56 +00:00

Author

Owner

À la demande de Mathieu, Monokai est retiré des profils/sélecteur, catalogue et dépendances Neovim ; code de préparation spécifique retiré. Intégré : 68c422cfd5f4a9a375b71d490726b75220ed87f9. Six profils restent disponibles, IPC réel contrôlé, Rosé Pine reste actif. Tests contrats, Neovim, sélecteur Qt, moteur/ressources/bat/btop et lint concernés passent ; une commande de tests groupée trop courte a interrompu le sélecteur après le succès des autres suites, puis le sélecteur a été entièrement réexécuté en fixture fraîche avec succès. Archives utilisateur, thèmes intégrés de bat/Code et profils du navigateur non modifiés.

with pi 🥧

À la demande de Mathieu, Monokai est retiré des profils/sélecteur, catalogue et dépendances Neovim ; code de préparation spécifique retiré. Intégré : `68c422cfd5f4a9a375b71d490726b75220ed87f9`. Six profils restent disponibles, IPC réel contrôlé, Rosé Pine reste actif. Tests contrats, Neovim, sélecteur Qt, moteur/ressources/bat/btop et lint concernés passent ; une commande de tests groupée trop courte a interrompu le sélecteur après le succès des autres suites, puis le sélecteur a été entièrement réexécuté en fixture fraîche avec succès. Archives utilisateur, thèmes intégrés de bat/Code et profils du navigateur non modifiés. - with pi 🥧