@jezhiggins 1000 Trades Square, just now. Middle aged man with dark hair and dark jacket seen buying cone for small boy of similar description.

@sil What a relief, then, that you still have plenty of time to crack this before you turn 40 and become ineligibile for a Fields Medal.

Another alternative would be to set a background colour for coloured text, but some people would consider that ugly. I don’t think there’s solution that makes everyone happy.

Show thread

The question remains, is it a good idea to have an “unbreak this broken behaviour” setting? One alternative would be to make SYSTEMD_COLORS=auto-16 the default, but that fails for people who don’t have the ANSI colours in their terminal configured for good contrast (some well-known terminals, such as PuTTY and XTerm, still have poor defaults for this use-case, for one colour or another).

Show thread

This will be available from systemd version 260 (but you can set it now; it won’t do any harm). Full documentation: freedesktop.org/software/syste

Show thread
Show older
Mastodon

Time for a cuppa... Earl Grey please!