Mot-clef « Performances »

Quelques trucs sur Firefox #6

Barres de défilement, chargement des onglets à la demande et recherche d'un élément d'interface perdu

Barres de défilement

Dans les versions actuelles de Firefox, suivant la mode apparue sur les ordiphones et leurs écrans au format timbre-poste, se masquent toutes seules au bout de quelques secondes d’inutilisation. Une option est toujours disponible pour désactiver cette absurdité, et ce, sans même avoir besoin d’aller dans about:config.

Depuis la dernière refonte en date, elle se nomme « Toujours afficher les barres de défilement » et est maintenant planquée dans Accessibilité > Navigation et défilement au clavier. Quel rapport avec le clavier, me direz-vous ? Aucune idée. Personnellement, je veux les afficher tout le temps pour pas avoir à bouger la souris quand je veux vérifier où j’en suis de l’article que je suis en train de lire, donc rien à voir avec le clavier… Mais un expert ergonome, quelque part, doit être d’un autre avis.

Accessoirement, il est également possible d’en modifier la largeur. C’est dans about:config, cette fois, via la clé de configuration widget.non-native-theme.scrollbar.size.override.

Ne plus charger les onglets épinglés au démarrage

Actuellement, Firefox conserve les onglets ouverts, mais ne charge plus toud au lancement du navigateur, histoire de ne pas mettre l’ordinateur à genoux d’entrée de jeu. Enfin, il ne le fait pas, sauf pour les onglets épinglés.

Si, comme moi, vous avez beaucoup d’onglets épinglés, parce que vous utilisez notamment cette fonctionnalité comme palliatif à la perte de feu l’excellente extension Faviconize Tab, vous pouvez faire en sorte qu’ils ne se préchargent plus non plus.

Comme souvent, c’est dans about:config, via la clé de configuration browser.sessionstore.restore_pinned_tabs_on_demand.

Retrouver un élément d’interface perdu

Il y a quelque temps, lors d’une mise à jour de Firefox, il m’a perdu l’élément « Éléments de la barre personnelle »…

En fouillant dans about:config, plus précisément dans la valeur de la clé browser.uiCustomization.state, qui représente l’organisation des éléments de l’interface, j’ai fini par la retrouver. Par chance, j’avais sur un autre ordi à côté, un Firefox configuré sensiblement pareil pour comparer, ce qui m’a permis de la retrouver relativement facilement.

Il s’agissait de l’élément personal-bookmarks qui était parti dans une autre zone, qui manifestement ne s’affichait pas à l’écran… Je l’ai déplacée dans une zone visible et le problème était réglé.


Quelques extensions pour Firefox #7

Auto Tab Discard

Cette extension permet de libérer automatiquement la mémoire allouée aux onglets que l’on n’a plus consultés depuis un certain temps. La page sera alors rechargée à la prochaine consultation de l’onglet.

L’ensemble est configurable avec la possibilité de définir le délai, des exceptions, etc.

Redirect AMP to HTML

Cette extension a pour but, lorsque vous suivez un lien vers une page AMP (pour Accelerated Mobile Page) de rediriger automatiquement vers la page HTML d’origine.

Avantages :

  • on évite de passer par les caches Google (la plupart du temps, c’est Google derrière le cache) ce qui évite de leur fournir des données de consultation et de renforcer encore leur position centrale dominante
  • les versions AMP ne sont pas forcément optimisées pour être affichées sur un vrai ordinateur avec un vrai écran (c’est prévu pour les ordiphones)

Textarea Cache

Cette extension va sauvegarder automatiquement les contenus des champs textarea (textes multilignes), ce qui permet de les retrouver lorsqu’on ferme un onglet par erreur (genre par exemple en tapant ctrl + w au lieu de ctrl + x).


Suppression d'applications préinstallées sur Android

J’ai toujours été embêté avec mes appareils Android, en particulier mon ordiphone actuel (un Xiaomi Redmi Note 3) parce que plein d’applications arrivent par défaut et, selon la « norme » communément admise sur les appareils mobiles où on contrôle de moins en moins la machine, pas désinstallables ni même désactivables (en tout cas pas facilement… rooter l’appareil présente des risques notamment).

Puis hier, je tombe sur ce pouet :

Je viens de découvrir comment désinstaller une appli système sans être root ! 😍

#AndroiDeMesDeux

adb shell pm uninstall -k --user 0 com.facebook.system

— Pourrito 🐧 (@pourrito@mastodon.xyz) le 11 août 2018 à 20:34

Et là les portes s’ouvrent pour un nettoyage des saloperies de Google et du fabricant, notamment celles qui tournent en tâche de fond pour rien en cramant la batterie et en bazardant des données on ne sait où.

Mise en place de l’environnement.

En gros on passe par les outils de développement pour Android pour lancer des commandes de suppression de certaines applications.

Pour ça il faut commencer par installer adb (Android Debug Bridge), perso j’ai suivi les indications proposées , en passant par la solution “Minimal ADB and Fastboot” vu que je ne compte pas faire de développement Android.

Ensuite, on peut brancher l’appareil en USB et aller activer le mode développeur comme indiqué dans la procédure précédente (forcément dans mon cas la surcouche constructeur faisait que c’était pas sur la même ligne qu’il fallait chercher, en fait, il fallait multi-cliquer sur “Version MIUI” plutôt que “Numéro de build”) puis activer le débogage USB (bon là comme j’ai fait les choses dans le désordre, j’avais pas de driver et j’ai pas réussi à redéclencher sa recherche… finalement, je suis passé par la procédure décrite ici jusqu’à l’étape où il installe le driver puis j’ai annulé l’installation et tout allait bien).

Grand nettoyage

La principale difficulté est d’identifier les applications à désinstaller (et accessoirement s’assurer un minimum qu’on peut bien les désinstaller sans danger).

Commencez par un petit

adb shell pm list packages

pour connaître le nom exact de l'appli à supprimer.

— Pourrito 🐧 (@pourrito@mastodon.xyz) le 11 août 2018 à 20:41

Dans mon cas comme le terminal sous Windows (oui un jour j’installerai un Linux chez moi mais j’ai pas encore eu le courage) est tout pourri, j’ai préféré envoyer la liste dans un fichier :

adb shell pm list packages > tmp.txt

Puis j’ai foutu tout ça dans un tableur histoire de trier alphabétiquement et pouvoir prendre des notes sur ce que je désinstalle et à quoi ça correspond (ça peut être bien si par la suite, on a des problèmes et qu’on veut retrouver ce qu’on a fait).

Bon partant de là reste un point assez chiant : identifier le nom interne des applications dans la liste. Des fois, c’est assez ressemblant au nom “ publique”, d’autres fois non. Il se trouve qu’il y a longtemps j’avais installé Disable Manager, une application censée permettre justement de désactiver des applications système… mais qui s’est avérée nécessiter des droits root. Il se trouve qu’elle a un intérêt : elle liste toutes les applications en indiquant à la fois le nom technique interne et le nom publique visible, du coup ça permet d’avoir la correspondance.

À ce stade j’ai pu virer les conneries telles que Gmail, Google Photo ou encore l’appli de météo fournie par le constructeur.

adb shell pm uninstall --user 0 com.google.android.gm
adb shell pm uninstall --user 0 com.google.android.apps.photos
adb shell pm uninstall --user 0 com.miui.weather2
...

Après, c’est plus compliqué pour les applications un peu plus système, parce qu’on a là-dedans des trucs effectivement système, des conneries (genre fonds d’écrans animés) et des trucs nuisibles (genre tracking publicitaires). En fouillant un peu, j’ai trouvé plusieurs pages listant des applications non-nécessaires, notamment celle-ci et celle-là (spécifique pour MiUI, la surcouche Xiaomi)… Du coup, j’ai viré 2-3 trucs, mais avec parcimonie parce que j’ai pas trop envie de flinguer mon appareil, juste d’économiser la batterie et de le rendre un peu moins bavard avec l’extérieur (genre si je pouvais m’éviter d’activer systématiquement le mode économie d’énergie ça m’arrangerait… jusqu’à présent, c’était le seul moyen que j’avais trouvé pour empêcher les Gmail et autres de se relancer en tâche de fond).

Voilà, maintenant je croise les doigts en espérant n’avoir rien cassé :smile:


Ajout du 14/08/2018 à 21h35

Je viens de tomber sur un autre article sur le sujet qui fait suite au même pouet avec quelques éléments complémentaires, comme des indications spécifiques à Archlinux (là où moi je suis passé par Windows) ou bien la précision suivante :

Comme il le précise lui-même un peu plus tard, il est à noter que l'argument -k est inutile, car sert exclusivement à conserver les paramètres et données de l'application. Dans un cas de nettoyage avancé, nous pouvons l'omettre pour supprimer complètement les applications visées.

Du coup, j’ai enlevé le -k de mon exemple plus haut.