unisonweb/unison

Problem rendering unicode (and emojis) in UCM

Open

#4,200 创建于 2023年7月14日

在 GitHub 查看
 (9 评论) (0 反应) (0 负责人)Haskell (304 fork)batch import
help wanted

仓库指标

Star
 (6,624 star)
PR 合并指标
 (平均合并 12天 19小时) (30 天内合并 6 个 PR)

描述

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

贡献者指南