[bitfolk] Re: Check yo PTRs

Hi Conrad, On Wed, Nov 20, 2024 at 02:49:18PM +0000, Conrad Wood via BitFolk Users wrote: Sure. Even gnome-terminal has supported emoji for years and years. It can still be a bit ropey with combining ones. Does your terminal not display things like 🔥 🏆 ✨ ? You would need an emoji font on your system though. I use $ apt show fonts-noto-color-emoji Package: fonts-noto-color-emoji Version: 2.042-0+deb12u1 Priority: optional Section: fonts Maintainer: Debian Fonts Task Force &lt;pkg-fonts-devel(a)lists.alioth.debian.org&gt; Installed-Size: 11.0 MB Homepage: https://www.google.com/get/noto/help/emoji/ Download-Size: 9,894 kB APT-Manual-Installed: yes APT-Sources: http://deb.debian.org/debian bookworm/main amd64 Packages Description: color emoji font from Google  Noto is a collection of font families, each visually harmonized across  scripts.  .  The name "Noto" is short for "No Tofu", describing the aim of covering  all living Unicode scripts.  .  Tofu (豆腐) is Japanese jargon for unicode replacement character "�"  (U+FFFD) often displayed as replacement for unassigned or unknown  characters.  .  This package contains the color emoji font used on "stock" Android devices  such as the Google Pixel.  and I also have a nerdfont installed (CommitMono).  In hindsight I suspect not that many people have an emoji font  installed so those three things may appear as the broken unicode  tofu symbol.  Perhaps I should have stuck to glyphs included in a nerdfont?  Presumably a few more sysadmin types would have one of those.  Perhaps I should add an option to *not* use emojis?  I don't think I can automatically detect if the user has a font with  that glyph. I only had to guess the shortcodes. 😀     https://github.com/grifferz/ptrcheck-rs/blob/4c3dc75ede802d3191bdd32b5a6df7… They are the same as used on github so they are easy to guess, and then can be checked on a site like     https://emojipedia.org/woman-facepalming#emoji If I can copy from there and paste in my terminal (*I* can, for the ones I used), then it will work. Taking the example of :fire:     https://emojipedia.org/fire#technical It's codepoint U+1F525 so to echo it to any terminal this should work: $ echo -e '\U01f525' 🔥 (you have to pad to 6 or 8 hex digits) Thanks, Andy _______________________________________________ BitFolk Users mailing list &lt;users(a)mailman.bitfolk.com&gt; You're subscribed as &lt;cnw(a)conradwood.net&gt; Unsubscribe: <https://mailman.bitfolk.com/mailman/postorius/lists/users.mailman.bitfolk.com/ or send an email to &lt;users-leave(a)mailman.bitfolk.com&gt;