3 ms·
Also, the ability to have tabs and put the tab bar vertically down the left-hand side of the terminal, but readably: https://imgur.com/a/6qGxNTu https://imgur.c
by randallsquared 8y ago
Also, the ability to have tabs and put the tab bar vertically down the left-hand side of the terminal, but readably: https://imgur.com/a/6qGxNTu https://imgur.com/a/6qGxNTu This is the thing that I really have to have in a terminal, because I use too many terminal tabs to keep track otherwise: the tabs have to stay readable, and there has to be room for 30-40 of them when I'm working.
On linux, few terminals support this, and the only one that seemed really usable was roxterm, which was increasingly difficult to install as of Ubuntu 17.10 when I last tried, due to the ROX collection being abandoned. It looks like there's new activity in a github repo this year, but I haven't tried it.
I built a very minimal side-tabs plugin for Zeit Hyper, but updates broke it so regularly that I gave up (the plugin was never great, anyway, and avoiding collisions with other tab-affecting plugins was difficult).
There are several other terminals on linux that claim to support side-tabs, but they all have some issue or another (my "favorite" is when they "support" side-tabs by literally rotating the tab bar so that the text of the bar is sideways, distorted, and still shrinks as more tabs are used, which defeats the point of using side-tabs in the first place!).