Repository with sources and generator of https://larlet.fr/david/ https://larlet.fr/david/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

пре 5 година
1234567891011121314151617181920212223242526272829
  1. <div class="comment" typeof="schema:UserComments">
  2. <p class="comment-meta">
  3. <span class="comment-author" property="schema:creator">mat</span> le <span class="comment-date" property="schema:commentTime">18/02/2006</span> :
  4. </p>
  5. <div class="comment-content" property="schema:commentText">
  6. <p>Bah moi j'ai fait betement en copiant collant la doc, ne connaissant que tres peu python et n'ayant pas envie de me prendre la tete avec ca (le script était deja fini quand j'ai rajouté la gestion des arguments)<br />
  7. <br />
  8. La doc python mentionnait optparse, qui a l'air plus complet, tu devrais ptet plutot zieuter par la pour un truc un peu plus complet et plus robuste...</p>
  9. </div>
  10. </div>
  11. <div class="comment" typeof="schema:UserComments">
  12. <p class="comment-meta">
  13. <span class="comment-author" property="schema:creator">David, biologeek</span> le <span class="comment-date" property="schema:commentTime">18/02/2006</span> :
  14. </p>
  15. <div class="comment-content" property="schema:commentText">
  16. <p>« optparse is a more convenient, flexible, and powerful library for parsing command-line options than getopt. »<br />
  17. <br />
  18. Ok je vais jetter un œil à ça, un edit est très probable :)</p>
  19. </div>
  20. </div>
  21. <div class="comment" typeof="schema:UserComments">
  22. <p class="comment-meta">
  23. <span class="comment-author" property="schema:creator">bubu</span> le <span class="comment-date" property="schema:commentTime">20/08/2008</span> :
  24. </p>
  25. <div class="comment-content" property="schema:commentText">
  26. <p>Helas optparse n&#39;est pas internationalisé, et pose des problemes avec les caracteres speciaux.</p>
  27. </div>
  28. </div>