Différences

Ci-dessous, les différences entre deux révisions de la page.

--- liste_man.sh [2015/12/21 22:56] – simon
+++ liste_man.sh [2026/08/22 22:12] (Version actuelle) – supprimée - modification externe (Date inconnue) 127.0.0.1
@@ Ligne 1: / Ligne 1: @@
-====== Script "liste_man.sh" ======
-Ce script a pour objet de générer un fichier ''.txt'' contenant le [[man]] des [[commandes]] qui sont dans ce wiki.
-==== Avec deux commandes ====
-Voici un exemple avec seulement deux commandes :
-<code bash>
-#!/bin/bash
-# Déclaration d'un tableau contenant la liste des commandes dont on veut générer le man
-tab=("cat" "cd")
-# Afficher tous les éléments du tableau
-echo ${tab[@]}
-# Pour chaque élément dans le tableau, générer le man et l'enregistrer dans man_NOM_COMMANDE.txt
-for i in ${!tab[@]}; do man ${tab[i]} > man_${tab[i]}.txt; done
-exit 0
-</code>
-On lance le script pour vérifier son bon fonctionnement :
-<code>
-$ ls
-liste_man.sh
-$ ./liste_man.sh
-cat ls
-$ ls
-liste_man.sh  man_cat.txt  man_ls.txt
-$ head man_*
-==> man_cat.txt <==
-CAT(1)     Commandes     CAT(1)
-NOM
-       cat - Concaténer des fichiers et les afficher sur la sortie standard
-SYNOPSIS
-       cat [OPTION] ... [FICHIER] ...
-==> man_ls.txt <==
-LS(1)     Commandes     LS(1)
-NOM
-       ls - Afficher le contenu de répertoires
-SYNOPSIS
-       ls [OPTION] ... [FICHIER] ...
-</code>
-<WRAP center round tip 60%>
-Pour pouvoir exécuter le script avec le raccourcis ''./'', il ne faut pas oublier de faire ''chmod +x liste_man.sh''
-</WRAP>