Update default prompt to use > character#1043
Update default prompt to use > character#1043speicherwerk wants to merge 1 commit intonushell:mainfrom
Conversation
The previously used character `RIGHT ANGLE BRACKET` (3009) is not available in many fonts. The usual `GREATER-THAN SIGN` (003e) however is. (Plus it looks nicer).
|
Are there people who don't use nerd fonts? |
Yes there are. Me for one. Also as a library with an end-user interface, we should be sensible regarding defaults. I don't think one is to assume that the average end-user of a CLI tool uses a nerd font. |
|
I think it's pretty safe since you're the first person I remember complaining about it since the project started which is more than 5 years now. I'm not saying we can't land your PR but I still think it's pretty safe. |
|
@speicherwerk What OS, terminal, and font are you using? I agree that most Western fonts don't have this character by default, but it still seems to work for most people. I've even seen it before in stock Linux distro Bash prompts. For me, even on a fresh Windows system using the default Windows Terminal with Cascadia Cove (which does not include that character), it still renders correctly. It also works in Xterm through WSL2. I'm not an expert in this area so I'm relying on Gemini for some of this (which could be vastly wrong), but this is because the font engine on the system is supposed to be able to do font-matching or bubbling. On Windows, I can confirm that this works properly. On Linux, this seems to be part of FontConfig. To @fdncred's point, we really haven't heard complaints about this not working, and the character has been part of the default prompt for at least 5 years now (probably longer). For the second part, I agree |
I don't know awfully lot about digital typesettings so I can't really contribute anything here but for what it's worth I was on Alacritty using a pretty recent version of Iosevka Term without any patches (on Arch Linux). Alacritty uses |
The previously used character
RIGHT ANGLE BRACKET(3009) is not available in many fonts. The usualGREATER-THAN SIGN(003e) however is. (Plus it looks nicer).