unisonweb/unison

Problem rendering unicode (and emojis) in UCM

Open

#4 200 ouverte le 14 juil. 2023

Voir sur GitHub
 (9 commentaires) (0 réactions) (0 assignés)Haskell (304 forks)batch import
help wanted

Métriques du dépôt

Stars
 (6 624 stars)
Métriques de merge PR
 (Merge moyen 10j 2h) (5 PRs mergées en 30 j)

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

Guide contributeur