On 27 Feb 2022 22:14, Pádraig Brady wrote:
> On 27/02/2022 21:08, Mike Frysinger wrote:
> > * src/dircolors.hin: Add hterm*.
> > ---
> > src/dircolors.hin | 1 +
> > 1 file changed, 1 insertion(+)
> >
> > diff --git a/src/dircolors.hin b/src/dircolors.hin
> > index 673835201311..fa01192bf7e5 100644
> > --- a/src/dircolors.hin
> > +++ b/src/dircolors.hin
> > @@ -23,6 +23,7 @@ TERM cygwin
> > TERM *direct*
> > TERM dtterm
> > TERM gnome
> > +TERM hterm*
> > TERM hurd
> > TERM jfbterm
> > TERM konsole
>
> Do you have more info on the source of this terminal
> and how popular it is?
it has more than 1 million 7DA users (7-day-active).
https://chrome.google.com/webstore/detail/iodihamcpbpeioajjeobimgagajmlibd
https://chrome.google.com/webstore/detail/pnhechapfaindjhompbnflcldabbghjo
there's more apps using hterm, but these are the easiest to share data on.
i would guess it's used a lot more than jfbterm, and prob dtterm.
> Note we've recently enabled colors for any terminal that sets
> the COLORTERM env var to anything, so if hterm sets that
> it would already be catered for.
i'm aware. the variable doesn't work reliably over SSH.
-mike
signature.asc
Description: PGP signature