[Gnome] Script pour réparer automatiquement l'extension todolist (résolu)
Publié : lun. 18 mars 2019, 17:01
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 :
Ensuite il n'y aurait plus qu'à lancer
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
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
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