Jimmy Yuen Ho Wong

Symbola is not necessary to display any icons in this package. Any tofus you see is due to Emacs not able to pick up any fonts that has a glyph...

Emacs is not picking up the icon fonts. When do you see when you followed the debugging steps?

You only ever need to install the font once for as long as you can resist doing a clean install of your OS, why bother checking at all every time...

@holocronweaver Does [this](https://github.com/domtronn/all-the-icons.el/pull/137) work okay?

@noctuid that's what this [PR](https://github.com/domtronn/all-the-icons.el/pull/137) does, see if it works for you?

Okay, I think there are 2 conflicting use cases here. One is to install the fonts automatically without prompting if they don't look like installed, another is to optionally suppress...

For now, I believe you should be able to stub out `yes-or-no-p` temporarily with [`letf`](http://www.gnu.org/software/emacs/manual/html_node/cl/Modify-Macros.html) in your config block.

The need seems to be installing the fonts during package installation. I don't think there's a way to eliminate interactivity altogether, it might make sense to just call `(all-the-icons-install-fonts)` before...

How did you generate this new font file?

There's an agda icon on file-icons, but there's no coq icon, which means it needs to be generated. But it's hard to do due to https://github.com/domtronn/all-the-icons.el/issues/248#issuecomment-798788171