unisonweb/unison

Problem rendering unicode (and emojis) in UCM

Open

#4.200 geöffnet am 14. Juli 2023

Auf GitHub ansehen
 (9 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (304 Forks)batch import
help wanted

Repository-Metriken

Stars
 (6.624 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 10T 2h) (5 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide