J'utilise Git bash sous Windows 7. Il me permet d'utiliser la plupart des commandes que j'utilisais sur le Shell de bash sur ma machine Ubuntu. Mais les commandes man et info ne fonctionnent pas. Existe-t-il un moyen de faire fonctionner ces (incroyables) commandes de documentation sur le bash Shell de Git sous Windows ?
Réponses
Trop de publicités?En réponse à partir de ce question pourrait être utile :
Vous donne des informations sur la commande directement dans la fenêtre bash.
Référence rapide de la commande Git
git [command] -help
Ouvre l'information en ligne pour la commande dans votre navigateur.
Pages de manuel de la commande Git
git help [command] git [command] --help
Si quelqu'un d'autre essaie d'obtenir man
pour travailler sous Windows et utilise Msys2 voici ce que j'ai trouvé :
Je m'en suis approché en utilisant le réponse ci-dessus qui dit d'installer groff
(disponible via pacman) et ensuite utiliser la commande script ici qui a en son cœur l'appel à groff -Tascii -mandoc -P-c
.
Mais je n'ai pas réussi à le faire fonctionner sur mes pages de manuel (trouvées dans /usr/share/man
) à moins que je n'aie décompressé les fichiers gz d'abord. ¡!
Ce n'était pas une solution acceptable, alors j'ai cherché plus loin et j'ai trouvé qu'en exécutant
pacman -Ss -man
qu'il y a trois paquets (actuellement) qui ont le préfixe "man-". ( voyez-les ici ).
J'ai essayé celui qui s'appelle man-db cela fonctionne, et maintenant j'ai la possibilité d'exécuter man
de la manière habituelle attendue.
Ajoutez-le à la fin de .bashrc
C:\Users\_<Username>_\.bashrc
function man() {
VAR1="http://man.he.net/?topic="
VAR2=$1
VAR3="§ion=all"
VAR4="$VAR1$VAR2$VAR3"
curl -v --silent "$VAR4" 2>&1 | sed -n "/<PRE>/,/<\/PRE>/p"
}
Ajoutez-le à la fin de .bash_profile
C:\Users\_<Username>_\.bash_profile
# Read .bashrc
source ~/.bashrc
Redémarrez le terminal.
man find
retournera les pages du manuel pour find
.
Voici une version pour une réponse vraiment courte :
function man-short() {
$1 --help
}
- Réponses précédentes
- Plus de réponses