Oh My Bash
Cadre de configuration pour Bash : thèmes d'invite, complétions, alias et greffons, réglés dans /.bashrc.
Installation
- Le script remplace /.bashrc ; l'original est conservé sous /.bashrc.omb-<DATE>.
- Si /.bash_profile existait déjà, vérifier qu'il charge bien /.bashrc :
source ~/.bashrc
fi
Installé sur le serveur principal ; pas encore sur le Raspberry Pi.
Configuration
Réglages dans /.bashrc :
OSH_THEME="random"
OMB_USE_SUDO=true
completions=(
git
composer
ssh
docker
)
aliases=(
general
)
plugins=(
git
bashmarks
sudo
)
| Réglage | Effet |
|---|---|
| OSH_THEME="random" | Un thème différent, tiré au hasard, à chaque nouveau terminal |
| OMB_USE_SUDO=true | Autorise Oh My Bash à utiliser sudo dans ses commandes |
| Complétions git, composer, ssh, docker | Complétion par Tab des sous-commandes, branches, hôtes SSH, conteneurs… |
| Alias general | Raccourcis courants (ls, cp et mv interactifs…) |
| Greffon git | Alias et fonctions Git |
| Greffon bashmarks | Signets de dossiers |
| Greffon sudo | Ajoute sudo devant la commande en cours |
Thème aléatoire
OMB_THEME_RANDOM_CANDIDATES=("font" "powerline-light" "minimal") # limiter le tirage à une liste
OMB_THEME_RANDOM_IGNORED=("powerbash10k" "wanelo") # exclure des thèmes
Certains thèmes (agnoster, powerline…) demandent une police Powerline ou Nerd Font sur le poste qui affiche le terminal.
Signets de dossiers (bashmarks)
g <NOM> # y aller
l # lister les signets
d <NOM> # supprimer un signet
Personnalisation
Les ajouts personnels vont dans /.oh-my-bash/custom/ (sous-dossiers aliases, completions, plugins, themes) : ils ne sont pas écrasés par les mises à jour.
Ajout en place : custom/completions/bun.completion.bash, complétion de l'outil Bun.
Mise à jour
Oh My Bash propose aussi une mise à jour automatiquement à intervalle régulier.
Reproduire sur une autre machine
Installer avec la commande ci-dessus, recopier les lignes de la section Configuration dans /.bashrc, puis copier le dossier /.oh-my-bash/custom depuis le serveur principal.