J'ai récemment effectué une mise à niveau vers Ubuntu 12.04 et toutes les extensions de shell gnome répertoriées par l'outil Gnome Tweak sont désactivées. Quel est le moyen le plus simple de les réparer / mettre à niveau? Dois-je les supprimer, télécharger à nouveau et les installer manuellement?
2
$.ajaxSettings.headers['X-CSRFToken'] = $.cookie('csrftoken');
main.js ligne 13.Il existe également une extension webupd8 pour mettre à jour toutes les extensions.
Notez que les instructions d'installation de l'article sont incorrectes et qu'elles devraient en réalité être:
la source