1 points par GN⁺ 2 시간 전 | 1 commentaires | Partager sur WhatsApp
  • jj fix prend en charge le formatage d’une plage de lignes spécifique, ce qui permet de ne formater que les lignes modifiées, avec un comportement contrôlé par les réglages fix.tools.<name>.line-range-arg et run-tool-if-zero-line-ranges
  • Le nouveau drapeau global --no-integrate-operation permet d’exécuter une commande sans affecter l’état du dépôt ni la copie de travail, ce qui est utile lorsque des outils d’automatisation doivent créer des instantanés en arrière-plan
  • Changement de compatibilité : la valeur par défaut de file search --pattern passe de glob: à regex: et accepte désormais plusieurs types de motifs via la syntaxe kind:pattern
  • jj git push --all, --tracked, -r REVSETS n’échouent plus même si les révisions à pousser sont privées ou en conflit, et ignorent les signets qui ne peuvent pas être poussés
  • Les motifs de branches et de signets passés à jj git clone sont désormais enregistrés dans le fichier de configuration du dépôt jj plutôt que dans .git/config, et le refspec de fetch Git est défini sur la valeur par défaut
  • Dans le langage de template, Operation.tags() est désormais obsolète et il est recommandé d’utiliser Operation.attributes() à la place
  • Le nouveau réglage diff.git.show-path-prefix permet de masquer les préfixes de chemin a/ et b/ dans la sortie diff --git
  • La fonction replace(pattern, content, replacement) et le type ByteString ont été ajoutés aux templates, permettant les remplacements basés sur des motifs de chaîne comme les expressions régulières avec groupes capturés, ainsi que le traitement de chaînes d’octets comme le contenu de fichiers
  • jj gerrit upload prend en charge les options --message/-m, --edit, --merged, et --hashtag peut être répété pour transmettre plusieurs hashtags
  • Les nouvelles options remotes.<name>.fetch-bookmarks et fetch-tags permettent de définir les cibles de fetch par défaut
  • JJ_PAGER peut désormais remplacer le réglage ui.pager, offrant un override par variable d’environnement propre à jj, à l’image de JJ_EDITOR
  • Des correctifs améliorent la cohérence du traitement de .gitignore avec Git, les performances des instantanés sur les grands dépôts et la vitesse de jj status, tandis que les répertoires d’anciens sous-modules Git ne sont plus considérés comme des conflits lors du checkout

1 commentaires

 
GN⁺ 2 시간 전
Avis sur Lobste.rs
  • Je me demande quelles sont exactement les règles. Est-ce que, pour certains projets, on a le droit de publier des liens vers des releases ?
    • En regardant le modlog, on dirait que leurs propres projets ont été temporairement bloqués à cause de l’autopromotion
      Publier la release de quelqu’un d’autre est acceptable, mais il ne faut pas abuser du système d’autopromotion
    • Si c’est la règle en elle-même qui t’intéresse, il suffit de consulter la section Self-promotion de la page about
      Que l’auteur participe à la communauté est une bonne chose, mais il ne faut pas s’en servir comme d’un simple outil à sens unique pour attirer du trafic vers des annonces de produits ou son propre travail
      Règle empirique : l’autopromotion doit représenter moins d’un quart de ses publications et commentaires
  • Je me demande comment on dit ou prononce habituellement jujutsu dans une conversation normale
    On dit « J J », ou bien « jujutsu » ?
    • On dit « jj », et le « j » se prononce comme le g de « gif »
    • Je suis suédois, donc je ne sais même pas trop si je devrais le lire à la suédoise ou à l’anglaise
      Autour de moi, personne ne connaît JJ, et ni JJ ni Jujutsu ne me parlent vraiment comme nom, donc quand j’en parle ça reste toujours un peu maladroit et je mélange plusieurs prononciations
      Cela dit, j’aime vraiment beaucoup JJ et le nom m’importe peu. C’est juste son nom, voilà tout
    • Comme « data » et « data », j’alterne entre les deux un peu au hasard
    • Parmi les gens avec qui j’en parle, tout le monde dit « J J »
    • À l’oral, je dis toujours jay jay. Personnellement, je trouve que c’est un meilleur nom que « jujutsu »