unisonweb/unison

Problem rendering unicode (and emojis) in UCM

Open

#4200 aperta il 14 lug 2023

Vedi su GitHub
 (9 commenti) (0 reazioni) (0 assegnatari)Haskell (304 fork)batch import
help wanted

Metriche repository

Star
 (6624 star)
Metriche merge PR
 (Merge medio 10g 2h) (5 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Indaga su come UCM gestisca l'output del terminale e renderizzi i caratteri Unicode. Esamina i file sorgente pertinenti per l'output della console (ad esempio, il modulo terminale UCM). Controlla il thread Slack menzionato per dettagli aggiuntivi e potenziali cause principali. Considera di testare con terminali e configurazioni diverse per isolare il problema. Esamina come altre applicazioni terminale gestiscono problemi simili di rendering Unicode.
Tech stack
Nessuno
Dominio
clideveloper experience
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
In attesa del maintainer
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Terminal emulation knowledgeUnison codebase structureHaskell basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
25