Comment changer le titre de la fenêtre menthe?

MinTTY est la nouvelle console par défaut pour Cygwin.

Qu'est-ce qu'une commande shell (quelque chose que je peux mettre dans .bashrc, ou encore mieux, dans .zshrc) pour changer le titre de la fenêtre MinTTY?

Je voudrais que le titre de la fenêtre soit le chemin d'accès au répertoire actuel et qu'il soit mis à jour lorsque je change de répertoire à l'intérieur de la console.

Qu'est-ce qui ne va pas

La commande suivante ne fonctionnait pas pour moi:

echo -ne "\e]0;MYTITLE\a"

Il s'avère que mon installation par défaut de Cygwin inclut la définition d'invite suivante dans .bashrc:

PS1=\[\e]0;\w\a\]\n\[\e[32m\]\u@\h \[\e[33m\]\w\[\e[0m\]\n$

Notez que la première partie de l'invite ( \e]0;\w\a) définit le titre de Windows chaque fois que l'invite s'affiche.

La solution

Ajoutez ces lignes dans votre .bashrcqui définissent 2 fonctions:

function settitle() {
      export PS1="\[\e[32m\]\u@\h \[\e[33m\]\w\[\e[0m\]\n$ "
      echo -ne "\e]0;$1\a"
}
function settitlepath() {
      export PS1="\[\e]0;\w\a\]\n\[\e[32m\]\u@\h \[\e[33m\]\w\[\e[0m\]\n$ "
}

Ensuite, vous pouvez définir un titre personnalisé avec cette commande:

settitle "MYWonderfullTest here"

ou vous pouvez revenir à la valeur par défaut de cygwin (le chemin actuel) avec cette commande:

settitlepath

J'espère que cela t'aides

Vous pouvez le changer avec la séquence de contrôle xterm pour cela, comme ceci:

echo -ne '\e]0;Title\a'

Reportez-vous à: http://code.google.com/p/mintty/issues/detail?id=241

Placez ceci dans .zshrc:

# Change title of MinTTY to current dir
function settitle() {
    echo -ne "\033]2;"$1"\007"
}
function chpwd() {
    settitle $(cygpath -m `pwd`)
}

La séquence de caractères spéciaux dans le paramètre de fonction fait que MinTTY change le titre de la fenêtre.

Dans zsh , si vous définissez une fonction avec le nom spécial chpwd, elle sera invoquée après chaque chdir .

Fonctionne sur WinXP, avec Cygwin 1.7 et MinTTY exécutant zsh.

En bash, la variable PROMPT_COMMAND peut être définie pour contenir un certain nombre de commandes, séparées par des points-virgules. vous pouvez l'utiliser pour faire le même réglage de titre que celui décrit dans l'autre réponse qui parle de zsh.

1) écho $ PS1 et copiez cette chaîne dans votre presse-papiers ou éditeur de texte, comme dans
   écho $ PS1
2) éditez ~ / .bash_profile et ajoutez le code shell ci-dessous, en remplaçant $ PS1 si nécessaire mais gardez la variable $ {TERMINAL_TITLE} dans la condition "false".
3) Enregistrez le fichier et définissez la variable d'environnement TERMINAL_TILE, comme dans
   export TERMINAL_TITLE = "Mon titre personnalisé"
4) Sourcez votre profil bash, comme dans
   . ~ / .bash_profile
Prendre plaisir

si [-z "$ {TERMINAL_TITLE}"]
puis
  PS1 = '\ [\ e] 0; \ w \ a \] \ n \ [\ e [32m \] \ u @ \ h \ [\ e [33m \] \ w \ [\ e [0m \] \ n \ $ '
autre
  PS1 = '\ [\ e] 0; $ {TERMINAL_TITLE} \ a \] \ n \ [\ e [32m \] \ u @ \ h \ [\ e [33m \] \ w \ [\ e [0m \ ] \ n \ $ '
Fi

J'ai utilisé la réponse de Leonel, mais j'ai trouvé que le titre ne scintillait qu'en faisant cela, ce qui signifie au moins que la commande echo fonctionne comme prévu. J'ai exécuté zsh de manière interactive avec le mode de débogage activé à l'aide

zsh -xv

Changer le répertoire invoque évidemment une autre fonction appelée title()après precmd()et chpwd(), en les remplaçant efficacement. J'ai donc branché cela dans mon .zshrc et cela a fonctionné.

function settitle() {
    echo -ne "\033]2;"$1"\007"
}
function title() {
    settitle $(cygpath -m `pwd`)
}

Si vous préférez utiliser chpwd()ou à la precmd()place, il suffit de désactiver la fonction de titre: title(){}.

Je voulais juste partager ma solution à cela car j'utilise mintty pour exécuter un script.

Mon raccourci mintty est configuré comme:

C:\cygwin64\bin\mintty.exe -i /Cygwin-Terminal.ico /usr/bin/bash.exe -l -c /scripts/connect.sh

Le script connect.sh que j'ai écrit et qui est appelé dans le raccourci ci-dessus m'invitera pour le serveur auquel je veux me connecter ET exécuter la fonction settitle définie dans le script.

connect.sh

#!/bin/bash

echo "Enter servername when prompted"
echo -n "servername: " 
read servername
function settitle() {
    echo -ne "\033]2;"$servername"\007"
}
function title() {
    settitle $(cygpath -m `pwd`)
}
settitle
ssh my_username@$servername

essayez d'ajouter ceci dans .bash_profile

export PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}:${PWD/#$HOME/~}\007"'

Ça marche pour moi.