Journal Des emojis dans votre historique Git (ou tout autre CVS) ?

Posté par  (site web personnel, Mastodon) .
Étiquettes :
15
10
mai
2023

Salutations, Nal,

Depuis quelques années on peut facilement mettre des emojis un peu partout.

Certains se sont dit qu’on pouvait les utiliser en premier caractère des messages de commit Git, ce qui offre divers avantages et inconvénients qu’on va détailler un peu plus loin. L’idée de base est que l’emoji offre un « résumé » très lisible de l’intention du commit, sans avoir à lire le message pour avoir une idée générale de ce qui va se passer dans (…)

Journal Voter pour virer les emojis de Gitlab

Posté par  (site web personnel) . Licence CC By‑SA.
63
19
fév.
2022

J'utilise Gitlab de temps à autre, principalement pour embêter les devs en leur faisant des tickets. En général, une partie de mon temps de rédaction se passe à pester contre ces fichus emojis qui essaient de s'inviter chaque fois que je fais deux points. Je fais beaucoup de liste, dans mes tickets, et ça démarre toujours par cette typographie terrible : deux points. En fait, j'aime bien les deux points pour leur usage de base, qui n'est pas de faire (…)

Journal Des emojis en SQL ? C'est possible… et on peut aller au-delà !

Posté par  (site web personnel, Mastodon) .
Étiquettes :
31
9
mar.
2019

Le saviez-vous ?

On peut utiliser des emojis en SQL, et pas seulement pour les manipuler : les emojis peuvent servir d'identifieurs !

Avec PostgreSQL, peut donc faire des choses comme :

CREATE TABLE 👤(
    🔑 INTEGER PRIMARY KEY,
    🗣 varchar(64), -- name
    🗓 DATE -- date of registration
);

Voire carrément :

CREATE TYPE  AS ENUM ('🤢', '☹', '😐', '🙂', '😍');

-- [...]

-- select
(…)

Journal ibus cache bien ses raccourcis !

Posté par  . Licence CC By‑SA.
Étiquettes :
19
9
jan.
2019

Avec l'installation de Ubuntu 18.10 Cosmic, dans Audacity, le raccourci ctrl+shift+e qui me sert à exporter la sélection en mp3 ne fonctionnait plus.

Une grosse perte pour moi qui découpe mes cours de darija en plein de morceaux pour faire des fiches d'apprentissage pour Anki.

Il se trouve que dans Ubuntu 18.10, par défaut, ce raccourci sert désormais à insérer un emoji.

Je suis allé dans système, puis clavier, puis raccourcis pour modifier ce raccourci et je ne l'ai (…)

Suivi — Commentaires Problème avec les caractères unicode

#1374 Posté par  . État de l’entrée : corrigée. Assigné à Bruno Michel. Licence CC By‑SA.
Étiquettes :
15
17
juin
2014

Lorsque j'essaie de commenter un journal en utilisant le caractère unicode "thumbs up" (U+1F44D) j'arrive sur la « page oops! ». Testé également en créant une entrée de forum.

Pas de problème pour d'autre caractère, tel HEAVY BLACK HEART (U+2764)