Início / unix / Perguntas / 741447
Accepted
s.k
Asked: 2023-03-30 20:27:22 +0800 CST

Como obter o ID do terminal atual

  • 772

Relacionado: Como obter o nome do terminal atual?

Mas eu quero apenas o ID do terminal atual, por exemplo, quando ttyretornar /dev/pts/11, quero apenas imprimir 11.

A ideia é adicionar essa informação no prompt do shell após o nome de usuário \una PS1variável do meu .bashrcarquivo:

Resultado desejado:username11@localhost:~$

No momento tenho:

PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u$(tty)@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '

que dá:username/dev/pts/11@localhost:~$

bash

1 respostas

  1. Best Answer

    Use \l, ele fornece o nome de base do nome do dispositivo de terminal do shell :

    PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u\l@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '

    Isso é semelhante à \l gettyfuga .

    • 15

relate perguntas