Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

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

3 réponses

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;%s 07' "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;%s 07' "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/