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 24 h 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 tout 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 en 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é 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 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).


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 ne doivent pas l’avoir enlevé).

À force de cliquer au hasard, je finis par cliquer sur la petite icône en forme d’entonnoir. Je n’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égories 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 barre 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…


Extension perso Carcassonne : Les déserts (partie 2)

Deuxième partie de mon extension Les déserts pour le jeu de société Carcassonne, avec deux nouvelles mécaniques inspirées du roman Dune de Frank Herbert.

Les déserts (partie 2)

Matériel

  • 20 nouvelles tuiles Terrain représentant des déserts
Tuile contenant un ver des sables Tuile contenant un gisement d'épice

Mise en place

Mélanger les 20 nouvelles tuiles avec les autres tuiles Terrains.

Placement des tuiles Terrain

Les règles de placement des tuiles restent inchangées.

Au moment où une tuile contenant un ver des sables est placée, les gisements d’épice des huit tuiles entourant de ver des sables sont immédiatement évalués comme en fin de partie.

Placement des partisans

Lorsque vous placez une tuile contenant un ver des sables, vous pouvez placer un partisan sur celui-ci au lieu de le placer sur une autre structure présente sur la tuile. Si vous faites ainsi, déplacez ensuite ce partisan sur n’importe quelle structure incomplète présente sur une tuile Désert où vous n’avez pas la majorité. Il est donc possible de placer le partisan sur une structure déjà occupée dès lors qu’au moins un autre joueur y a plus de partisans que vous.

Lorsque vous placez une tuile contenant un gisement d’épice, vous pouvez placer un partisan sur celui-ci au lieu de le placer sur une autre structure présente sur la tuile. Aucun partisan ne peut être placé sur un gisement d’épice ayant un ver des sables dans une ou plusieurs des huit cases qui l’entourent.

Évaluation des constructions complétées

Un gisement est complété lorsque les 8 tuiles qui l’entourent sont placées. Le ou les joueurs contrôlant le gisement sur la structure gagnent alors 18 points.

Fin de partie et décompte final

En fin de partie les gisements d’épice incomplets sont évaluées de façon similaire aux abbayes : le ou les joueurs contrôlant le gisement gagnent un point pour chaque tuile présente autour du gisement plus un point pour le gisement lui-même.

Précisions et interactions avec d’autres extensions

Il est possible de placer un partisan sur un gisement d’épice inoccupé à l’aide d’un portail magique (extension Princesse et Dragon). Il n’est pas contre pas possible de placer un partisan sur un ver des sables de cette manière.

Il est possible de placer un partisan sur un gisement d’épice, occupé ou non, à l’aide d’un aéronef (mini-extension Les aéronefs). Il n’est pas contre pas possible de placer un partisan sur un ver des sables de cette manière.

Téléchargement des nouvelles tuiles

Les tuiles sont téléchargeables au format PDF (~41Mo). Ce fichier comporte l’ensemble des tuiles désert, celle de la partie 2 se retrouvent en page 2.


Passer par le Darknet™ pour accéder à sa banque…

Ça faisait 3 semaines que je ne pouvais plus accéder au service e-carte bleu de la Caisse d’Épargne (serveur inaccessible, timeout, tout ça).

Après avoir testé sur plusieurs navigateurs pour exclure l’hypothèse d’une extension qui fout la merde, je me suis dit que ça venait d’une panne de leur côté et j’ai patienté quelques jours.

Comme ça ne revenait pas, j’ai posé la question à ma conseillère. Deux semaines et plusieurs relances plus tard, je finis par avoir une réponse pas à côté de la plaque (non me renvoyer des identifiants n’est pas une solution quand le serveur ne répond pas) : d’après leur assistance interne le service e-carte bleue fonctionne bien.

Du coup, je me dis que ça vient peut-être quand même de chez moi. Je teste quelques trucs sans succès :

  • ping : timeout, donc ce n’est pas le navigateur
  • vérification de mon fichier hosts (on ne sait jamais des fois qu’un malware y ait mis de la merde) : rien
  • je me souviens que mon frère utilise ce service aussi du coup, je lui demande si ça marche chez lui : oui, aucun problème

Du coup en désespoir de cause, je pense à lancer le Tor Browser, histoire de passer par une autre IP pour voir. Et là ça marche !

Donc voilà maintenant, je dois passer par le Darknet™ pour accéder à un service bancaire. Tout va bien.

La seule hypothèse que je vois, c’est que mon IP soit blacklistée. Mais alors aucune idée du pourquoi…

J’en tire du coup plusieurs enseignements :

  • il vaut mieux que j’insiste un peu dans mes recherches pour régler mes problèmes moi-même plutôt que demander à ma conseillère, c’est bien plus efficace
  • avoir un Tor Browser installé ça peut toujours servir et pas forcément pour des cas qu’on avait envisagé au départ
  • je ne regrette pas du tout de soutenir l’association Nos oignons qui maintient des nœuds de sortie Tor

Voilà, voilà…