Copying terminfo around is more inconvenient than I want to put up with for now. Overriding TERM is fine, I guess. Mostly terminology is just a fairly good te

Copying terminfo around is more inconvenient than I want to put up with for now. Overriding TERM is fine, I guess. Mostly terminology is just a fairly good terminal, so I have little incentive to switch. :)