Archives de l'année 2019

Réordonner les commits dans Tortoise Git

Sous Windows, j’utilise Tortoise Git. On pourrait épiloguer sur ses qualités et défaut par rapport aux autres clients Git disponibles mais ce n’est pas le sujet. Je l’utilise principalement parce que je le connais et que je sais que si je fais les choses comme j’en ai l’habitude ça fait ce que j’attends (je trouve ça assez rassurant personnellement).

Il y a peu, j’avais plusieurs commits locaux et je voulais faire un amend sur le second. Plutôt que d’y renoncer je me suis dit que même si je n’avais jamais trouvé ça dans l’interface, il y avait peut-être moyen de réordonner les commits (puisque ça existe en ligne de commande, même si je n’ai jamais réussi à retenir plus de 24h la marche à suivre les différentes fois où on me l’a expliquée/montrée).

Et j’ai été agréablement surpris de découvrir que oui, c’est possible dans Tortoise Git, même si c’est bien caché (en tous cas moi je ne serais jamais tombé dessus tout seul). J’ai trouvé la réponse la plus claire ici et en voici une traduction en français (mais avec les entrées de menu an anglais parce que j’utilise la version anglophone) :

  • ouvrir l’écran de visualisation des logs avec Tortoise Git (“Git show log” sur la racine du dépôt)
  • faire un clic droit sur un des commits qui ne soit pas le dernier et sélectionner “rebase {maBranche} onto this”
  • dans l’écran de rebasage, sélectionner “FETCH_HEAD” dans le champ “upstream”
  • cocher la case “Force rebase”
  • la liste des commits s’affiche dans la fenêtre
  • cliquer sur le commit à réordonner et utiliser les boutons “Up” et “Down” pour changer sa position
  • une fois l’ordre satisfaisant, cliquer sur “Start Rebase”
  • c’est fait :)

Attention : les identifiants des commits réordonnés seront modifiés, veillez donc à bien limiter cette opération à des commits locaux qui n’ont pas encore été propagés sur un dépôt partagés sans quoi vous risquez d’avoir de mauvaises surprises (dans ce cas vous seriez forcé de faire un force push, ce qui est un bon indice qu’il y a un problème) !


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 version 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 contenu des champs textarea (textes multi-lignes), 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).


Quelques trucs sur Firefox #4

Affichage des requêtes XHR

Je ne trouvais pas comment afficher les requêtes XHR dans la console de #Firefox (et je me disais que bon ça quand même ils doivent pas l’avoir enlevé).

À force de cliquer au hasard je finis par cliquer sur la petite icône en forme d’entonnoir. J’avais pas essayé plus tôt tant ça semblait évidemment lié au champ “filtrer” juste à côté. Mais en fait si c’est comme ça qu’on affiche le panneau pour décider des catégorie d’informations qu’on veut afficher…

Retrouver des séparateurs dans les barres d’outils

Un des nombreux trucs qui ont disparu autour de Firefox 57 et de la suppression de XUL c’est le fait de pouvoir mettre des séparateurs entre les boutons d’une barres d’outils.

J’ai cherché un moment mais pas trouvé de moyen de le refaire via une extension (mais je commence à avoir l’habitude).

Puis je suis tombé sur une solution : passer par userChrome.css en recyclant les espaces flexibles.

C’est très chiant à mettre en œuvre et à déployer sur plusieurs machines mais au moins ça marche…

Récupérer la barre de statut

Ça non plus ce n’est plus possible via une extension depuis Firefox 57.

Mais ça peut se bricoler dans userChorme.css en recyclant la barre personnelle puis en la plaçant en bas.

Comme pour la barre de statut c’est laborieux et ça oblige à se passer d’une autre élément.

Heureusement que comme le dit Mitchell Baker dans son appel aux dons, Mozilla est là pour nous aider à personnaliser notre expérience utilisateur ! Imaginez si ce n’était pas le cas…