Attention : vous n’êtes pas connecté(e). Votre adresse IP sera visible de tout le monde si vous faites des modifications. Si vous
vous connectez ou
créez un compte, vos modifications seront attribuées à votre propre nom d’utilisateur(rice) et vous aurez d’autres avantages.
La modification peut être annulée.
Veuillez vérifier les différences ci-dessous pour voir si c’est bien ce que vous voulez faire, puis publier ces changements pour finaliser l’annulation de cette modification.
Version actuelle |
Votre texte |
Ligne 77 : |
Ligne 77 : |
| } | | } |
|
| |
|
| # Define PROMPT_COMMAND if not already defined (fix: Modifying title on SSH connections) | | # Main prompt |
| if [ -z "$PROMPT_COMMAND" ]; then | | if [ -z "$PROMPT_COMMAND" ]; then |
| case $TERM in | | PROMPT_COMMAND=prompt |
| xterm*)
| | else |
| PROMPT_COMMAND='printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/~}"'
| | PROMPT_COMMAND="prompt;$PROMPT_COMMAND" |
| ;;
| |
| screen) | |
| PROMPT_COMMAND='printf "\033]0;%s@%s:%s\033\\" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/~}"'
| |
| ;;
| |
| esac
| |
| fi | | fi |
|
| |
| # Main prompt
| |
| PROMPT_COMMAND="prompt;$PROMPT_COMMAND"
| |
|
| |
|
| if [ $EUID -ne 0 ]; then | | if [ $EUID -ne 0 ]; then |