Comment changer le titre de l'onglet actuel du terminal en utilisant uniquement la ligne de commande ?

De @Maythux, celui-ci fonctionne pour mes besoins de ne pas tenir compte de mon auto-prompt current-directory sur le terminal.

PROMPT_COMMAND='echo -en "\033]0;New terminal title\a"'

Instruction

Changez la chaîne de caractères sur "New Terminal Name" avec $("pwd") :

PROMPT_COMMAND='echo -en "\033]0; $("pwd") \a"'

Le titre sera ainsi automatiquement modifié, même lorsque vous ajoutez un nouvel onglet.

J'utilise le paramètre ci-dessous qui a l'air mieux, vous pouvez aussi jouer à la programmation bash et définir la vôtre.

PROMPT_COMMAND='echo -en "\033]0;$(whoami)@$(hostname)|$(pwd|cut -d "/" -f 4-100)\a"'

Ajoutez ce paramètre à votre ~/.bashrc .

De https://askubuntu.com/a/774543/455406 une solution spécifique à la base consiste à créer une fonction personnalisée (voir par exemple ce mode d'emploi ) comme

# function to set terminal title  
function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

qui vous permet d'appeler set-title <name you want to set it to>

Lorsque le PS1 définit le titre, toute tentative de définir le titre à l'aide d'une commande ou de PROMPT_COMMAND échouera, puisque l'invite est imprimée après toutes les autres. Pour cette raison, je préfère garder une invite simple pendant le test des titres ( PS1=$; unset PROMPT_COMMAND ).

Il est très probable que PROMPT_COMMAND est défini et il écrase votre choix de titre chaque fois que l'invite s'affiche. Essayez de le désactiver, puis de lancer votre commande de titre :

PROMPT_COMMAND=
echo -en "\033]0;New terminal title\a"

Ce fil est peut-être un peu vieux, mais voici une solution qui fonctionne pour moi :

https://blog.programster.org/ubuntu-16-04-set-terminal-title

Il suffit de modifier votre fichier $HOME/.bashrc et d'ajouter la fonction suivante :
set-title(){
ORIG=$PS1
TITLE=" \e ]2;$@ \a "
PS1=${ORIG}${TITLE}
}

Maintenant, chaque fois que vous voulez définir le titre de votre terminal, il suffit d'entrer quelque chose comme :
set-title "le titre de mon terminal génial".