Yes I understood that you used the bashrc way but for me didn’t work. With the bashrc I can change only the size of the font but if I change to other fonts, the same font is displayed, only with some weird characters.
I think it could be due to the console-setup settings. Try to change to Terminus8x18 like I had on raspbian: nothing change for me.
Anyway this Terminus 15px looks very nice! It’s a bit small but I can display some other info in PADD and it’s also sharper.
About the idea of display DietPI info, yeah, nice idea, I haven’t thought of it!
The only downside is that if other people that don’t have DietPI, can’t use it. Now it’s more universal for everyone!
PS: do you know about the errors? And why the boot time of DietPI doesn’t work on the external display but works on local terminal?
I think also show the boot time it’s interesting, because it’s very low compared to raspbian, and it’s a universal command that works also on raspbian!