Option 'xterm_set_titles' de Mutt

Le
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
Vidéos High-Tech et Jeu Vidéo
Téléchargements
Vos réponses
Gagnez chaque mois un abonnement Premium avec GNT : Inscrivez-vous !
Trier par : date / pertinence
Bernard Schoenacker
Le #23904451
Le Tue, 25 Oct 2011 22:51:24 +0200,
"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+



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/
JF Straeten
Le #23904661
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/
Bernard Schoenacker
Le #23904721
Le Wed, 26 Oct 2011 00:05:56 +0200,
"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+




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/
Publicité
Poster une réponse
Anonyme