unisonweb/unison
Ver no GitHubProblem rendering unicode (and emojis) in UCM
Open
#4.200 aberto em 14 de jul. de 2023
help wanted
Métricas do repositório
- Stars
- (6.624 stars)
- Métricas de merge de PR
- (Mesclagem média 10d 2h) (5 fundiu PRs em 30d)
Description
UCM version: ucm version: release/M5b (built on 2023-07-13) OS: Ubuntu 23.04 Shell: Zsh Terminal: gnome-terminal or Kitty Unison installation: Nix flakes
The issue has been discussed and tested a little on Slack, this is the reference: https://unisonlanguage.slack.com/archives/CLUNF0J5S/p1689285260929389
It happens on Linux, both Zsh and Bash. 2 terminals has been tried with same result: gnome-terminal and Kitty.
- The UCM upgrade process shows emojis ✅
- The UCM shell do not ❌ (except for errors, see more coments below)
(See the Slack thread for details and more screenshots)