Okay, seems to work nicely, thanks!
BTW, bash supports escapes in the form of \uXXXX so you can use that instead of actually trying to type a glyph not in your font.
Okay, seems to work nicely, thanks!
BTW, bash supports escapes in the form of \uXXXX so you can use that instead of actually trying to type a glyph not in your font.