4 ms·
bluetui author here. > It made me really happy how a tool so simple makes such a huge difference in terms of how smooth it is to solve a problem, Happy to hea
by pythops 11mo ago
bluetui author here.
> It made me really happy how a tool so simple makes such a huge difference in terms of how smooth it is to solve a problem,
Happy to hear that :)
> if I have one tiny criticism about bluetui is the annoying fonts
You suggest to get rid of the icons ? what if they can be disabled in the config, will that fix the issue for you ?
> there's plenty of white space
You can set the window width from the config file (width = positive integer) if you don't want the TUI to be responsive.
- PostOnce 11mo agoI think the icons are cool. Emoji in text is annoying, but this isn't a page of text, it's a UI element, and that can make something clear especially if you're connecting a device whose name is unknown, but you know it's a speaker, or whatever. So having the option to enable / disable is better than taking away the icons, in my opinion.
- alias_neo 11mo agoAbsolutely this. Particularly when there might be a few unnamed devices, but you know your devices is a particular device class, you can guesstimate the correct device based on its class, and the icon is extremely useful for this!
- bfkwlfkjf 11mo ago> what if they can be disabled in the config, will that fix the issue for you ? I mean if you're offering, I would love that. And thank you for releasing under GPL. <3
- pythops 11mo agosure, feel free to open a github issue and I will do my best to implement it asap :)
- jxdxbx 11mo agoHi bluetui author. I just discovered your app last week, just wanted to say it is great. I truly like this new generation of command line utils (I have bat, eza, etc aliased to things like cat and ls) and TUIs like yours. TUIs in particular: having grown up with DOS apps, then graduating to using Pine for email on a shell account, they are nostalgic, but also just super fast and practical. And I like having an option in between the command line and config files and a full-blown GUI app (which, on Linux, might look like any old random thing anyway).
- jorvi 11mo ago> You suggest to get rid of the icons ? what if they can be disabled in the config, will that fix the issue for you ? Yes. In general, its a good idea to not rely on someone having installed nerdfonts / fonts with glyphs. Or at the very least offer fallback. You can usually get pretty far by repurposing Unicode symbols. For example, from Bamum: 𖦤 Headphone 𖦥 IEM 𖤣 Mic ꚰ Warning 𖥉 Bluetooth (had to get a little creative)
- Ontonator 11mo agoFor Bluetooth, you could of course use one or both of the runes upon which the logo was based: ᛡᛒ
- dspillett 11mo agoThat method isn't entirely reliable either: all come out at “question mark in a box” (Chrome, Edge) or “codepoint hex in box” (FF) on the old Win10 box that I'm currently trying to retire. The come out find on a similarly default Win11 setup. While the issue here is Win10, it shows that the problem is client font sensitive so it might affect others too (perhaps those running old-but-still-supported Linux distro releases with default fonts).
- e3bc54b2 11mo ago> all come out at “question mark in a box” (Chrome, Edge) or “codepoint hex in box” (FF) on the old Win10 box that I'm currently trying to retire. The come out find on a similarly default Win11 setup. This is pretty funny to me, because on plain ol' Firefox on NixOS everything looks just fine! We've come pretty far from the days when things were randomly broken on Linux..
- boromisp 11mo agoFirefox on Fedora 43 here, no joy, and indeed, randomly broken on Linux (too). [edit] Okey, so installing the complete Google Noto Fonts family resolved this issue. But I still don't know if relying on a script with almost no font support is any better than what the OP did.