Quel terminal utilisez-vous

manon · 24-05-2020 10:58:06

Ici c'est confirmé que ça fait depuis la version 0.6 que ça existe.
https://docs.xfce.org/apps/terminal/dropdown

Si j'ai réussi a mettre en fonctionnement cette option, tout le monde peut !
Vu mon niveau catastrophique !

vv222 · 24-05-2020 11:03:59

Oh je vois, c’est lié à une option au lancement. Si on lance le terminal sans cette option l’onglet "Drop-down" n’est pas présent dans les réglages.

manon · 24-05-2020 11:09:17

Oui !
Et après j'ai fais un simple raccourci du drop down dans les raccourcis clavier de xfce avec comme touche f12, et le terminal est disponible dès le démarrage du pc !

vv222 · 24-05-2020 22:16:35

Ça me cause, il y a de bonnes chances que j'adopte ce fonctionnement

Merci pour le partage !

manon · 24-05-2020 22:33:39

De rien !

kawer · 17-06-2020 03:01:07

tilda et terminator.

-tilda est un terminal incrusté sur le fond écran, parfait pour les commandes ponctuels.
-terminator ne m'a jamais fait défault. Split etc ...
-xterm pour le support image/vidéo
-tty pour le dépannage, parfois pour le fun (un film, de la musique ...)

Dernière modification par kawer (17-06-2020 03:01:45)

Debian-facile

#26 24-05-2020 10:58:06

Re : Quel terminal utilisez-vous

#27 24-05-2020 11:03:59

Re : Quel terminal utilisez-vous

#28 24-05-2020 11:09:17

Re : Quel terminal utilisez-vous

#29 24-05-2020 22:16:35

Re : Quel terminal utilisez-vous

#30 24-05-2020 22:33:39

Re : Quel terminal utilisez-vous

#31 17-06-2020 03:01:07

Re : Quel terminal utilisez-vous

Pied de page des forums