Bash
Verander shell
Zoeken…
Syntaxis
- echo $ 0
- ps -p $$
- echo $ SHELL
- export SHELL = / bin / bash
- exec / bin / bash
- cat / etc / shells
Zoek de huidige shell
Er zijn een paar manieren om de huidige shell te bepalen
echo $0
ps -p $$
echo $SHELL
Verander de schaal
Voer deze opdrachten uit om de huidige bash te wijzigen
export SHELL=/bin/bash
exec /bin/bash
om de bash te wijzigen die opent bij het opstarten, bewerk .profile
en voeg die regels toe
Lijst met beschikbare shells
Om beschikbare login shells weer te geven:
cat /etc/shells
Voorbeeld:
$ cat /etc/shells
# /etc/shells: valid login shells
/bin/sh
/bin/dash
/bin/bash
/bin/rbash
Modified text is an extract of the original Stack Overflow Documentation
Licentie onder CC BY-SA 3.0
Niet aangesloten bij Stack Overflow