📘 Hoofdstuk 10.3: Het Instellen van de Werkomgeving in Linux
────────────────────────────────────────────
🌍 Omgevingsvariabelen in Bash
────────────────────────────────────────────
✔ Variabelen zijn hoofdlettergevoelig en bepalen gedrag van de shell.
Bekijk variabelen:
• printenv – Toont omgevingsvariabelen
• env – Alternatief voor printenv
• set – Toont shell- en omgevingsvariabelen
• echo $NAAM – Toont de waarde van een variabele
Veelgebruikte variabelen:
Naam | Beschrijving
-------------|----------------------------
HISTCONTROL | Geschiedenisbeheer
HISTSIZE | Maximaal aantal opgeslagen commando’s
PATH | Paden naar uitvoerbare bestanden
PS1 | Primaire shell-prompt
SHELL | Locatie van shell-programma
USER | Ingelogde gebruikersnaam
Voorbeeld:
export MYVAR="Hallo Wereld"
echo $MYVAR
⚠ Voeg toe aan `~/.bashrc` of `~/.bash_profile` om permanent te maken.
────────────────────────────────────────────
🖥 Soorten Bash-Sessies
────────────────────────────────────────────
• Login-shell – bij aanmelding op TTY/SSH
• Interactieve shell – via `bash`
• Niet-interactieve shell – bij scripts
Login-shell controleren:
echo $0
→ Bevat `-bash` = login-shell
────────────────────────────────────────────
👤 Gebruikersspecifieke Configuratiebestanden
────────────────────────────────────────────
Bestand | Wanneer geladen?
--------------------|-------------------
~/.bash_profile | Bij login-shell
~/.bash_login | Alternatief
~/.profile | Vooral op Debian
~/.bashrc | Altijd bij subshell
⚠ ~/.bashrc wordt vaak aangemaakt via /etc/skel/
────────────────────────────────────────────
🌐 Globale Instellingen voor Alle Gebruikers
────────────────────────────────────────────
Bestand | Functie
---------------------|--------------------------------------
/etc/profile | Omgevingsinstellingen bij login
/etc/profile.d/*.sh | Scripts die automatisch worden geladen
/etc/bashrc | Voor elke shell (of /etc/bash.bashrc)
Voorbeeld: globale variabele instellen
sudo nano /etc/profile.d/welkom.sh
Voeg toe:
export WELKOMSTBERICHT="Welkom op deze server!"
Herlaad zonder uitloggen:
source /etc/profile
⚠ Bewerk liever `/etc/profile.d/*.sh` i.p.v. direct `/etc/profile`