‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ Le mercredi 14 octobre 2020 01:41, f6k <f...@huld.re> a écrit :
> Bonjour, > > On Tue, Oct 13, 2020 at 01:55:13PM +0200, Basile Starynkevitch wrote: > > > On 10/13/20 9:44 AM, Bernard Schoenacker wrote: > ---8<--- > > J'avoue ne pas comprendre clairement ce point. Taper des commandes avec > la prise en charge du shell zsh, c'est utiliser un terminal non ? Il > existe des quake-like console (qui "sorte" du haut de l'écran et se > rétracte à volonté, donc facilement accessible et qui ne prenne > finalement pas de place), si ça peut aller dans ton sens. > Oui le paquet : tilda émulateur de terminal GTK+ déroulant, pour Linux et Unix https://packages.debian.org/buster/tilda C'est génial, avec $SHELL /bin/zsh bien sûr ! ;-) -- Benoit
