atdgen_update.sh 2.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. #!/bin/sh
  2. # Copyright © Joly Clément, 2014-2015
  3. #
  4. # leowzukw@vmail.me
  5. #
  6. # Ce logiciel est un programme informatique servant à exécuter
  7. # automatiquement des programmes à l'ouverture du terminal.
  8. #
  9. # Ce logiciel est régi par la licence CeCILL soumise au droit français et
  10. # respectant les principes de diffusion des logiciels libres. Vous pouvez
  11. # utiliser, modifier et/ou redistribuer ce programme sous les conditions
  12. # de la licence CeCILL telle que diffusée par le CEA, le CNRS et l'INRIA
  13. # sur le site "http://www.cecill.info".
  14. #
  15. # En contrepartie de l'accessibilité au code source et des droits de copie,
  16. # de modification et de redistribution accordés par cette licence, il n'est
  17. # offert aux utilisateurs qu'une garantie limitée. Pour les mêmes raisons,
  18. # seule une responsabilité restreinte pèse sur l'auteur du programme, le
  19. # titulaire des droits patrimoniaux et les concédants successifs.
  20. #
  21. # A cet égard l'attention de l'utilisateur est attirée sur les risques
  22. # associés au chargement, à l'utilisation, à la modification et/ou au
  23. # développement et à la reproduction du logiciel par l'utilisateur étant
  24. # donné sa spécificité de logiciel libre, qui peut le rendre complexe à
  25. # manipuler et qui le réserve donc à des développeurs et des professionnels
  26. # avertis possédant des connaissances informatiques approfondies. Les
  27. # utilisateurs sont donc invités à charger et tester l'adéquation du
  28. # logiciel à leurs besoins dans des conditions permettant d'assurer la
  29. # sécurité de leurs systèmes et ou de leurs données et, plus généralement,
  30. # à l'utiliser et l'exploiter dans les mêmes conditions de sécurité.
  31. #
  32. # Le fait que vous puissiez accéder à cet en-tête signifie que vous avez
  33. # pris connaissance de la licence CeCILL, et que vous en avez accepté les
  34. # termes.
  35. atdgen -t ./src/settings.atd
  36. atdgen -j ./src/settings.atd
  37. atdgen -v ./src/settings.atd
  38. atdgen -b ./src/tmp_biniou.atd
  39. atdgen -t ./src/tmp_biniou.atd
  40. atdgen -v ./src/tmp_biniou.atd
  41. # Test, to be shure that atgen commands above run
  42. echo "Atdgen executed, files updated"