8000 Add nerd font to web terminal · Issue #15024 · coder/coder · GitHub
[go: up one dir, main page]

Skip to content
Add nerd font to web terminal #15024
Closed
@Mr-Coxall

Description

@Mr-Coxall

In https://github.com/coder/coder/blob/main/site/src/theme/globalFonts.ts you are setting the font to "ibm-plex-mono".
Can the terminal font please be changed to a Nerd Font (https://www.nerdfonts.com/) so that glyphs can be used.

Metadata

Metadata

Assignees

Labels

customer-requestedFeatures requested by enterprise customers. Only humans may set this.siteArea: frontend dashboard

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

    0