C'est un vrai problème. Mais le Shell est encore jeune, extensions.gnome.org n'a que 6 mois depuis sa mise en ligne publique en verssion alpha, et n'est toujours qu'en version beta. Le message est: il y a un remplaçant aux applets pour ceux qui veulent personnaliser leur Shell, mais c'est en beta parce que le Shell évolue encore trop rapidement pour figer les API. Tu ne figer l'API d'un logiciel que quand il a atteint un niveau de maturité suffisant, sinon le développeur va se retrouvé coincé s'il n'a pas tout prévu avant. Il faudra donc encore un peu de temps que le Shell se stabilise, et ensuite l'API sera rendue stable. Les extensions auront alors la vie plus facile pour un moment.
[^] # Re: étrange, aucun bureau ne plais!
Posté par liberforce (site web personnel, Mastodon) . En réponse au journal Cette semaine, j'ai squeezé un pangolin. Évalué à 2.
C'est un vrai problème. Mais le Shell est encore jeune, extensions.gnome.org n'a que 6 mois depuis sa mise en ligne publique en verssion alpha, et n'est toujours qu'en version beta. Le message est: il y a un remplaçant aux applets pour ceux qui veulent personnaliser leur Shell, mais c'est en beta parce que le Shell évolue encore trop rapidement pour figer les API. Tu ne figer l'API d'un logiciel que quand il a atteint un niveau de maturité suffisant, sinon le développeur va se retrouvé coincé s'il n'a pas tout prévu avant. Il faudra donc encore un peu de temps que le Shell se stabilise, et ensuite l'API sera rendue stable. Les extensions auront alors la vie plus facile pour un moment.