Germinal icon indicating copy to clipboard operation
Germinal copied to clipboard

Search scrollback history feature

Open julientechdev opened this issue 5 years ago • 6 comments

I do not know if ZSH can search scrollback history on its own, but I do know that tmux handles it.

Since I'm not using tmux on every germinal instance, could it be possible to implement a germinal scrollback search feature ?

julientechdev avatar Mar 05 '19 12:03 julientechdev

I consider this feature as the same kind of features as tabs / split / tiling / etc. I don’t think it’s the terminal emulator job to do that. A terminal emulator is there to emulate a terminal: e.g. display output from the software it’s connected to. When using tmux, it takes care of all of this. When not using tmux, some shells might have options to do that, I guess

Keruspe avatar Mar 07 '19 21:03 Keruspe

I looked around for pure zsh alternatives, couldn't find one. I like the idea of the separation of concerns, but I do not think it applies in this case. Searching through previous commands and inputs are the responsability of the shell and several solutions exists. But in this case this is a pure character displaying feature; One could see it as a gloryfied scroll, only with a param to go to the next occurrence regardless of whether this is an command input or output. Something a shell cannot do btw.

julientechdev avatar Mar 08 '19 15:03 julientechdev

I'll do it at some point, I just have a couple of other things to fix beforehand

Keruspe avatar Apr 04 '19 15:04 Keruspe

Gentle poke to remind about this feature, it would have saved me quite some time lately.

julientechdev avatar Sep 13 '19 13:09 julientechdev

I agree that this feature is better handled by tmux/screen/etc. The terminal emulator imo should only emulate a terminal

annacrombie avatar Oct 11 '19 02:10 annacrombie

I beg to differ, as this feature is quite essential to most terminal usages nowadays, and it effectively couples Germinal with a terminal multiplexer.

julientechdev avatar Oct 11 '19 09:10 julientechdev