Une récente mise à jour de Thunderbird dans Ubuntu (version 60.2.1) a cassé le calendrier Lightning installé en tant que module complémentaire. Voyez ici . Mozilla fournit Lightning comme fourni dans les dernières versions, mais le package Ubuntu (et Debian?) Ne le fait pas, donc maintenant il y a...
J'ai installé VirtualBox plusieurs fois, même erreur à chaque fois (voir également les captures d'écran ci-dessous) WARNING: The vboxdrv kernel module is not loaded. Either there is no module available for the current kernel (4.4.0-22-generic) or it failed to load. Please recompile the kernel...
Lorsque j'appuie sur \ t pour utiliser l'extension Command-T dans VIM, j'obtiens l'erreur command-t.vim could not load the C extension Je ne sais pas comment y remédier ... des suggestions? Merci J'utilise la méthode d'installation de git-repository. Voici ce qui se passe lorsque je "fais du...
Existe-t-il un moyen de le désactiver afin que lorsque vous renommez un fichier, il ne met pas en évidence l'extension?
Il a téléchargé le fichier .crx à partir de novell-moonlight-3.99.0.3-x86_64.crx , puis est allé à chrome: // extensions / et faites glisser et déposez le fichier sur les fenêtres chromées ouvertes à cette adresse et le message suivant apparaît Les applications, extensions et scripts utilisateurs...
Je veux compter le nombre de fichiers pour chaque extension dans un répertoire ainsi que les fichiers sans extension. J'ai essayé quelques options, mais je n'ai pas encore trouvé de solution de travail: find "$folder" -type f | sed 's/.*\.//' | sort | uniq -cest une option mais ne fonctionne pas...
J'utilise Ubuntu 14.10 avec Gnome 3.14 à partir des PPA de Gnome 3. J'ai un problème persistant depuis environ un an maintenant, chaque fois que je me déconnecte, je perds toutes mes extensions activées, à l'exception de Media Player. Auparavant, j'ai réussi à contourner ce problème en activant...
Aujourd'hui, j'ai vu un article sur les extensions pour GNOME Shell, donc cela m'a fait réfléchir à quelques questions qui peuvent s'appliquer à de nombreux utilisateurs dans Unity: Les extensions du shell GNOME seront-elles compatibles avec Unity? Puis-je les installer directement sur Unity à...
Dans Ubuntu 17.10, les icônes de la barre de droite (par exemple, Telegram, Skype, etc.) sont très petites et gnome-shell-extension-top-icons-plusne fonctionnent pas dans 17.10. Comment puis-je le
Je viens d'installer Ubuntu 16.04 et le shell Gnome 3.18.5. Je suis novice dans le domaine de l'extension Gnome Shell (j'utilise mon navigateur pour installer des extensions créées par l'utilisateur?). Donc, la première fois que j'ai accédé à https://extensions.gnome.org, je pouvais installer une...
Le shell GNOME a les notifications en bas par défaut. Malheureusement, j'aime utiliser le tableau de bord pour ancrer et le coller en bas. Cela signifie que je ne vois plus les notifications. Est-il possible de changer l'emplacement des notifications ailleurs sur
J'aime exécuter quelques scripts pour installer automatiquement des packages et faire des configurations sur de nouvelles installations d'OS. J'utilise gnome shell avec quelques extensions et pensais améliorer mes scripts pour les configurer. Je configure généralement les extensions en utilisant...
J'ai trouvé une extension GNOME via une recherche Google (à l'aide de Chromium), et j'ai été très surpris de pouvoir simplement basculer le commutateur marche / arrêt pour que le site Web installe une extension GNOME complète sur mon ordinateur sans aucune autre étape manuelle. (testé, cela...
Dans Ubuntu 16.04, j'ai installé un plugin Compiz avec une alternative alt- le tabcommutateur qui avait la fonctionnalité astucieuse qui jusqu'à ce que je lâche la Altclé, il cache toutes les autres fenêtres et n'affiche que celle vers laquelle j'allais basculer. C'est très utile quand on a un tas...
J'ai un petit problème avec les extensions de shell gnome. Après avoir installé certains d'entre eux, j'ai compris que je ne les aimais pas et j'ai décidé de les supprimer. Les extensions elles-mêmes (leurs dossiers dans /home/username/.local/share/gnome-shell/extensions) ont été supprimées avec...
Exécuter Ubuntu 12.04 avec Gnome Shell 3.4 . Après avoir activé l'extension du panneau inférieur (pour supprimer le plateau de messages / panneau inférieur / coin chaud ennuyeux en bas; vous savez de quoi je parle (:), toujours un "demi" message contextuel après l'ajout d'une clé USB. Eh bien,...
J'ai un peu de mal à faire fonctionner gnome-shell depuis que j'ai installé une extension (je ne sais pas laquelle) le 11.10. Donc, ce que je voudrais savoir, c'est: comment puis-je désinstaller complètement TOUT ce qui concerne le gnome-shell (toutes les extensions, gnome-tweak-tool, etc.), tout -...
J'aimerais entendre vos suggestions sur la manière d'améliorer la sécurité lors de la navigation. Disons que je vais utiliser le chrome. Avec ces extensions: Web of Thrust (à noter, si je visite un mauvais site) AdBlock (bloquer les annonces, meilleures performances) ScriptBlock (bloquer les...
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...