TIL #5 - Concaténer un dictionnaire et grep

Concaténer un dictionnaire

Je savais qu'on pouvait concaténer des dictionnaires comme ceci :

>>> {"foo": 25} | {"bar": 30}
{'foo': 25, 'bar': 30}

J'apprends aujourd'hui qu'on peut utiliser ça pour définir une valeur prioritaire :

>>> {"foo": 25} | {"foo": 30}
{'foo': 30}

Tiens, tiens, d'où vient le nom grep ? Je ne m'étais jamais posé la question. Et si on regarde ça :

:g/re/p

où re c'est pour regular expression, p pour :print. Et :g parce que c'est une commande globale !