SuivantBasNiv. sup.

11.1 POOLtype 

Liste un fichier pool.

pooltype [pool_file]

Si aucun argument n'est passé sur la ligne de commande, POOLtype demandera le nom du fichier. L'extension par défaut est poo. SuivantHautNiv. sup.