seeseemelk/cool-retro-term
1
0
Fork 0
Code Issues 449 Pull Requests 12 Actions Packages Projects Releases 8 Wiki Activity

Feature: Custom fonts #439

New Issue
Open
opened 2018-04-03 23:12:55 +02:00 by nilsbyte · 4 comments
nilsbyte commented 2018-04-03 23:12:55 +02:00 (Migrated from github.com)
Copy Link

It would be really nice to have the ability to use custom fonts installed on the system. I like to use CPMono_v07 as it's a very popular monospaced font.

It would be really nice to have the ability to use custom fonts installed on the system. I like to use CPMono_v07 as it's a very popular monospaced font.
👍 8
seguri commented 2018-06-28 14:29:37 +02:00 (Migrated from github.com)
Copy Link

I agree, I would like to see powerlevel9k working correctly. I know that people using a CRT terminal didn't have that theme available at the time, but well we are in 2018 :)

I agree, I would like to see `powerlevel9k` working correctly. I know that people using a CRT terminal didn't have that theme available at the time, but well we are in 2018 :)
Alexey104 commented 2019-06-12 16:06:41 +02:00 (Migrated from github.com)
Copy Link

@seguri, i'm using powerlevel10k theme with cool-retro-term, and it works fine after adding 'export TERM=xterm-256color' to ~/.zshrc(or ~/.bashrc, depending on what you use):
Screenshot from 2019-06-12 17-03-28
Screenshot from 2019-06-12 17-04-39
Screenshot from 2019-06-12 17-04-59

@seguri, i'm using powerlevel10k theme with cool-retro-term, and it works fine after adding 'export TERM=xterm-256color' to ~/.zshrc(or ~/.bashrc, depending on what you use): ![Screenshot from 2019-06-12 17-03-28](https://user-images.githubusercontent.com/38672094/59357742-0c8e9f00-8d34-11e9-98a6-74bdd739c69f.png) ![Screenshot from 2019-06-12 17-04-39](https://user-images.githubusercontent.com/38672094/59357885-4495e200-8d34-11e9-9e82-6ed4556376db.png) ![Screenshot from 2019-06-12 17-04-59](https://user-images.githubusercontent.com/38672094/59357887-465fa580-8d34-11e9-9316-072e974cbf25.png)
Bug-Reaper commented 2020-10-14 08:11:10 +02:00 (Migrated from github.com)
Copy Link

Hey @alexey104 how are you setting a custom font, I don't see that option in the GUI settings?

Hey @alexey104 how are you setting a custom font, I don't see that option in the GUI settings?
Alexey104 commented 2020-10-16 18:25:52 +02:00 (Migrated from github.com)
Copy Link

@Bug-Reaper, oh, sorry, I don't use CRT anymore, and, honestly, I don't remember how I set it up. But I always use UbuntuMonoNerdFont for my terminal, and, if I remember correctly, you are able to choose this font in CRT preferences if you have it installed.

@Bug-Reaper, oh, sorry, I don't use CRT anymore, and, honestly, I don't remember how I set it up. But I always use UbuntuMonoNerdFont for my terminal, and, if I remember correctly, you are able to choose this font in CRT preferences if you have it installed.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bounty
bug
duplicate
enhancement
help wanted
invalid
priority
high
priority
low
question
wontfix
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
seeseemelk
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: seeseemelk/cool-retro-term#439
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?