Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

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

manon
Membre
Inscription : 21-05-2020

Re : Quel terminal utilisez-vous

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 !

Hors ligne

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

vv222
Administrateur
Lieu : Bretagne
Distrib. : GNU/Linux Debian « Sid »
Noyau : Linux ≥ 5.7 (amd64)
(G)UI : Openbox
Inscription : 18-11-2013
Site Web

Re : Quel terminal utilisez-vous

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.

Jouer sous Debian ? Facile !

Hors ligne

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

manon
Membre
Inscription : 21-05-2020

Re : Quel terminal utilisez-vous

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 !

Hors ligne

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

vv222
Administrateur
Lieu : Bretagne
Distrib. : GNU/Linux Debian « Sid »
Noyau : Linux ≥ 5.7 (amd64)
(G)UI : Openbox
Inscription : 18-11-2013
Site Web

Re : Quel terminal utilisez-vous

Ça me cause, il y a de bonnes chances que j'adopte ce fonctionnement wink
Merci pour le partage !

Jouer sous Debian ? Facile !

Hors ligne

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

manon
Membre
Inscription : 21-05-2020

Re : Quel terminal utilisez-vous

De rien !

Hors ligne

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

kawer
Adhérent(e)
Lieu : Quelque part vers Gallifrey
Distrib. : Debian Sid
Noyau : Current
(G)UI : xfce
Inscription : 08-10-2013

Re : Quel terminal utilisez-vous

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 02:01:45)

Hors ligne

Pied de page des forums