unisonweb/unison

Problem rendering unicode (and emojis) in UCM

Open

#4.200 aberto em 14 de jul. de 2023

Ver no GitHub
 (9 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
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)

image

Guia do colaborador