Como editar o nome do bash exibido [duplicado]

0

Eu fiz um pouco de googling, e olhando em volta deste estouro de pilha, mas este parece me iludir.

Como posso reduzir / editar o nome do bash exibido no prompt do terminal? I.E.

Isto:

fresearch@fresearch-MM061:~/Desktop/blog$

Para:

|>$

Eu (meio que) sei quem eu sou e (às vezes) sei onde estou. Eu tenho uma pequena tela de laptop e prefiro ter o espaço na tela. Eu li algumas das páginas do manual bash, mas eu decidi não começar a mexer com arquivos de configurações vitais, e não faço ideia do que estava fazendo.

Pensamentos?

Obrigado!

    
por user18920 05.04.2014 / 23:48

1 resposta

1

O que você quer é chamado bash prompt

Para obter |>$ , simplesmente execute PS1="|>$" no seu terminal, se é isso que você deseja, edite seu .bashrc para torná-lo permanente.

A seção Localizar ficou assim:

if [ "$color_prompt" = yes ]; then
    PS1='${debian_chroot:+($debian_chroot)}\[3[01;32m\]\u@\h\[3[00m\]:\[3[01;34m\]\w\[3[00m\]\$ '
else
    PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
fi

E se você não estiver usando o prompt colorido, corrija a linha após a palavra else antes de fi :

PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

para esta linha

PS1='${debian_chroot:+($debian_chroot)}|>$'
    
por c0rp 06.04.2014 / 00:05