Debian-facile

manon

Banni(e)

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 !

vv222

Administrateur

Lieu : Bretagne

Distrib. : GNU/Linux Debian « Sid »

Noyau : Linux ≥ 6.1.15 (amd64)

(G)UI : Openbox / xfwm4

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 !

manon

Banni(e)

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 !

vv222

Administrateur

Lieu : Bretagne

Distrib. : GNU/Linux Debian « Sid »

Noyau : Linux ≥ 6.1.15 (amd64)

(G)UI : Openbox / xfwm4

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
Merci pour le partage !

---

Jouer sous Debian ? Facile !

manon

Banni(e)

Inscription : 21-05-2020

Re : Quel terminal utilisez-vous

De rien !

kawer

Membre

Lieu : Earth

Distrib. : Debian Stable

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

---

Songez à ce que vous avez été, à ce que vous êtes, et à ce que vous serez un jour, et vous deviendrez humbles. Saint Vincent de Paul
La maladie la plus constante et la plus mortelle, mais aussi la plus méconnue de toute société, est l’indifférence. Abbé Pierre
Carpe diem, quam minimum credula postero. Horace

mister_g

Membre

Distrib. : debian sid

Noyau : Linux 6.1.0-5-amd64

(G)UI : ICEwm

Inscription : 20-07-2022

Re : Quel terminal utilisez-vous

terminator essentiellement, j'aime le split, la transparence et la configuration graphique complète.

puis tilda, sakura, rxvt et xterm pour changer un peu

Dernière modification par mister_g (06-01-2023 15:47:42)

lucarno

Membre

Lieu : MONSEGUR 33580

Distrib. : Debian GNU/Linux 10 (buster)

Noyau : Debian Buster

(G)UI : gdm3

Inscription : 04-10-2017

Re : Quel terminal utilisez-vous

Gnome 3.38.5 sous debian 11

Tawal

Membre

Distrib. : Debian Stable à jour

Noyau : amd64

(G)UI : Xfce

Inscription : 25-02-2021

Re : Quel terminal utilisez-vous

Hello,

Celui de mon DE et les tty.
+ xterm pour les terminaux d'informations.

---

Comme la science n'est pas infuse, elle se diffuse.
Useless Use of Cat Award
Filenames and Pathnames in Shell: How to do it Correctly
À chaque problème sa solution, à chaque solution son moyen, si pas de moyen, toujours le problème !