Page 1 sur 1

[Gnome] Script pour réparer automatiquement l'extension todolist (résolu)

Publié : lun. 18 mars 2019, 17:01
par Harashi
Bonjour à tous,

Cela fait un moment que j'utilise l'extension todo list de Gnome que je trouve bien pratique. Sauf qu'à chaque mise à jour de ladite extension j'obtiens systématiquement une syntax error. Un certain kata198 a toutefois gentiment donné la marche à suivre pour réparer cette erreur (dans le premier commentaire ici). Sauf que comme c'est un peu pénible de devoir le faire à chaque fois, j'ai songé à automatiser la tâche avec un script bash que voici :

Code : Tout sélectionner

#!/bin/bash

# On va dans le dossier temporaire pour cloner le github de l'extension
cd /tmp
git clone https://github.com/bsaleil/todolist-gnome-shell-extension

# On build
cd todolist-gnome-shell-extension/
./build.sh

# On efface l'ancienne version
cd /home/harashi/.local/share/gnome-shell/extensions
rm -Rf 'todolist@bsaleil.org'

# On installe la nouvelle en créant d'abord son dossier
mkdir 'todolist@bsaleil.org'
cd 'todolist@bsaleil.org'
unzip '/tmp/todolist-gnome-shell-extension/todolist@bsaleil.org.zip'

exit 0
Ensuite il n'y aurait plus qu'à lancer gnome-shell-extension-prefs, activer l'extension et redémarrer Gnome.

Le truc c'est que cela fait très longtemps que je ne me suis pas frotté sérieusement à la syntaxe du bash et en plus je ne suis pas programmeur de formation, par conséquent j'ai peur d'avoir fait des bétises dans le code sans même le savoir. Du coup, avant de tester ça et de mettre potentiellement le bazar dans mes fichiers de configurations, je viens demander l'avis de gens qui savent mieux que moi :D

Re: [Gnome] Script pour réparer automatiquement l'extension todolist

Publié : lun. 18 mars 2019, 17:33
par laurent85
Bonjour,
D'après la doc d'installation il y a plus simple pour la mise à jour :

Code : Tout sélectionner

#!/bin/bash

cd ~/.local/share/gnome-shell/extensions/
rm todolist@bsaleil.org -rf
git clone https://github.com/bsaleil/todolist-gnome-shell-extension.git todolist@bsaleil.org
Redémarrer gnome et activer l'extension.

Re: [Gnome] Script pour réparer automatiquement l'extension todolist

Publié : lun. 18 mars 2019, 17:49
par Harashi
Effectivement ça parait nettement plus simple, mais il faut quand même build à un moment, non ? Ou c'est fait automatiquement dans la dernière ligne ?

Re: [Gnome] Script pour réparer automatiquement l'extension todolist

Publié : lun. 18 mars 2019, 18:02
par laurent85
Il n'y pas le build pour l'installation donc pas de raison de le lancer à priori. Les fichiers qu'il génère existent déjà.
https://github.com/bsaleil/todolist-gno ... -extension

Re: [Gnome] Script pour réparer automatiquement l'extension todolist

Publié : lun. 18 mars 2019, 18:39
par Harashi
En effet, je viens de tester le script et ça a l'air de fonctionner (je n'ai plus la syntax error, même si l'extension ne marche toujours pas suite à la mise à jour de Gnome 3.32), donc on va dire que c'est un succès.

Merci à toi

Re: [Gnome] Script pour réparer automatiquement l'extension todolist (résolu)

Publié : lun. 18 mars 2019, 18:46
par laurent85
La dernière mise à jour du code de l'extension date d'octobre 2017, on peut se demander si c'est encore maintenu.

Re: [Gnome] Script pour réparer automatiquement l'extension todolist (résolu)

Publié : sam. 30 mars 2019, 07:07
par bsaleil
Salut,

Je suis l'auteur de cette extension.
Je voulais simplement vous signaler que je viens de la mettre à jour pour 3.32, n'hésitez pas à me dire si vous rencontrez des problèmes.
Il n'y a effectivement pas besoin de lancer le script de build qui génère les fichiers pour les locales (les fichiers générés sont inclus dans le dépôt).

L'extension n'était pas à jour depuis environ un an parce que l'api de gnome-shell est relativement stable depuis... mais pas pour 3.32 visiblement :)

Re: [Gnome] Script pour réparer automatiquement l'extension todolist (résolu)

Publié : sam. 30 mars 2019, 19:22
par Harashi
bsaleil a écrit : sam. 30 mars 2019, 07:07 Je voulais simplement vous signaler que je viens de la mettre à jour pour 3.32, n'hésitez pas à me dire si vous rencontrez des problèmes.
Salut, merci pour cette mise à jour, elle fonctionne chez moi mais uniquement après avoir mis à jour sur la page de gnome-extensions puis utilisé le script de laurent85, autrement elle affiche toujours une erreur