What symbols are needed for REPL outputs?

[kescobo]

I thought that my terminal was using font with all the symbols I might need, but I'm getting this output. Just curious if there's a recommended font or a list of used glyphs

[tlienart]

Hahaha so much for using emojis in info stuff 😱 ; what you boxed in red should have shown as 1️⃣ . I'm using VS Code. My terminal is zsh but I don't think I use fancy fonts; as far as I could see in VSC it's Menlo, Monaco, 'Courier New', monospace.

It does suggest avoiding emojis for info messages though...

[kescobo]

I really love the emojis though, don't get rid of them!

[tlienart]

I think there's a subset that's more widely supported, not sure how to figure that out though, and then we could restrict to it.

[kescobo]

Hahaha so much for using emojis in info stuff 😱 ; what you boxed in red should have shown as 1️⃣ .

What happens when I try to make Chars out of those two... maybe this can help somehow?

[tlienart]

Right, so it looks like 1️⃣ is not part of the base emoji symbols here: https://github.com/JuliaLang/julia/blob/master/stdlib/REPL/src/emoji_symbols.jl whereas things like the hourglass ( "\\:hourglass_flowing_sand:" => "⏳",) or the lightbulb ("\\:bulb:" => "💡",) are. So probably the safest is to only use emojis from that list.