Logo GNT
Actualités Tests & Guides Bons Plans
Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11
Entraide Linux Autres OS Linux Debian Option 'xterm_set_titles' de Mutt

Option 'xterm_set_titles' de Mutt

3 réponses
Avatar
JF Straeten
Salut Chère Liste,


Quelqu'un sait comment reseter la barre de titre d'un terminal à la
sortie de Mutt ?

L'option 'xterm_set_titles' est pratique pour avoir les infos dans la
barre de titre, mais je ne trouve rien pour qu'elle cesse ses effets
en quittant Mutt (1.5.21 si c'est important, sur une Wheezy à jour).

'rci d'avance,

A+

--

JFS.

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/20111025205124.GA3056@jones.jfs.dt
Signaler un problème avec ce contenu

3 réponses

Supprimer
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire

Veuillez sélectionner un problème

Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Avatar
Bernard Schoenacker
Le Tue, 25 Oct 2011 22:51:24 +0200,
"JF Straeten" a écrit :


Salut Chère Liste,


Quelqu'un sait comment reseter la barre de titre d'un terminal à la
sortie de Mutt ?

L'option 'xterm_set_titles' est pratique pour avoir les infos dans la
barre de titre, mais je ne trouve rien pour qu'elle cesse ses effets
en quittant Mutt (1.5.21 si c'est important, sur une Wheezy à jour).

'rci d'avance,

A+



Bonjour,

l'option du terminal c'est d'avoir le plateau garni de
moules frite ...


autrement pour ton désidérata :

http://invisible-island.net/xterm/xterm.faq.html#frequent_problems

suivant le gestionnaire de fenêtres il est possible d'avoir
une version améliorée du terminal ....

slt
bernard

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/
Avatar
JF Straeten
Re,

On Tue, Oct 25, 2011 at 11:23:29PM +0200, Bernard Schoenacker wrote:

> Quelqu'un sait comment reseter la barre de titre d'un terminal à la
> sortie de Mutt ?

http://invisible-island.net/xterm/xterm.faq.html#frequent_problems




Thank you ; ça m'a mis sur la piste ;)

En faisant :

mutt && printf '33]2;%s07' "urxvt"

ça fait ce que je veux.

A+


--

JFS.

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/
Avatar
Bernard Schoenacker
Le Wed, 26 Oct 2011 00:05:56 +0200,
"JF Straeten" a écrit :


Re,

On Tue, Oct 25, 2011 at 11:23:29PM +0200, Bernard Schoenacker wrote:

> > Quelqu'un sait comment reseter la barre de titre d'un terminal à
> > la sortie de Mutt ?

> http://invisible-island.net/xterm/xterm.faq.html#frequent_problems


Thank you ; ça m'a mis sur la piste ;)

En faisant :

mutt && printf '33]2;%s07' "urxvt"

ça fait ce que je veux.

A+




hallo,

een pintje haas de plift ...

Oprechte aandacht

bernard

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/