Bash

Le BASH c’est quoi au juste ? Ce n’est rien d’autre qu’un programme /bin/bash qui va interpréter les commandes que vous allez taper et les executer si elles ne comportent pas d’erreur. En particulier, le BASH respecte la casse, une minuscule n’est pas une majuscule en locurence toto ce n’est pas TotO !

https://github.com/jlevy/the-art-of-command-line/blob/master/README-fr.md

Bénéficier de la commande man avec bash de GIT

man est dispo en ligne. On en tire profit en copiant dans son .bashrc: 
function man {
    local section=all
    if [[ "$1" =~ ^[0-9]+$ ]]; then section="$1"; shift; fi
    local doc="$(curl -v --silent --data-urlencode topic="$@" --data-urlencode section="$section" http://man.he.net/ 2>&1)"
    local ok=$?
    local pre="$(printf '%s' "$doc" | sed -ne "/<PRE>/,/<\/PRE>/ { /<PRE>/ { n; b; }; p }")"
    [[ $ok -eq 0 && -n "$pre" ]] && printf '%s' "$pre" | less || printf 'Got nothing.\n' >&2
    return $ok
}