Hoe verander ik de prompt in Linux?

Dit wordt gewijzigd door de omgevingsvariabele .

Je kunt de huidige waarde van PS1 zien door:

 root@monu dev# echo $PS1  

U kunt zien dat de waarde gelijk is aan \u@\h \w\$, waarbij:

• \u: gebruikersnaam
• \h: hostnaam
• \w: huidige werkdirectory
• \$: een # -symbool voor de root user, een $ -symbool voor andere gebruikers

Als u wilt dat de wijziging permanent is, moet u het script toevoegen dat de waarde PS1 in ~/.bashrc, aangezien het wordt uitgevoerd elke keer dat een gebruiker inlogt.

Reacties

• Don ' niet vergeten om het ook in uw ~ / .bashrc-bestand te plaatsen. bijv. `PS1 = " mijnnaam \\ $ " '.
• ~ / .bashrc wordt niet uitgevoerd elke keer dat een gebruiker inlogt. “Wanneer een interactieve shell die geen login-shell is, wordt gestart, leest bash commandos uit ~ / .bashrc en voert deze uit, als dat bestand bestaat. ” – man bash / INVOCATION
• Door ze te veranderen, kun je veranderen. ?
• Voor details, zie de PROMPTING sectie met man bash.
• Ja, maar hoe precies? Kunt u enkele voorbeelden geven?

Dit hangt af van uw shell. Als een belangrijke kanttekening: je moet nooit het root-account gebruiken als een persoonlijk account. Maak een normale gebruiker aan en stel de toegang tot sudo in. Raadpleeg uw distributiehandleiding om te zien hoe u dit moet doen.

In zsh moet u de PROMPT-variabele als volgt instellen:

PROMPT="%{ESC[38;5;24m%};%{ESC[0m%} " 

zshell biedt veel andere opties en dit is echt een minimale prompt.

In bash kun je het op deze manier instellen:

local ROOK="\[\033[38;5;24m\]" local DEFAULT="\[\033[0;39m\]" PS1="${ROOK}\$${DEFAULT} " 

Merk op dat ik in beide gevallen een terminal met 256 kleuren heb. De man-pagina zal veel helpen (man bash of man zsh).

Reacties

• Hier heb je het root account geval correct aangegeven, IMO – het mag niet gebruikt worden als een persoonlijk account (behalve op sommige ingesloten systemen met een zeer kleine footprint).