Re: gpr / différents systèmes d'ex ploitation

Le 18 févr. 2020 à 07:36, Jean-Pierre Rosen a écrit :

>> il me faudrait la version stable la plus récente qui fonctionne avec GNAT GPL 2012, comment trouver ça ?
>> (le problème de dyld étant à régler d'abord, je ne suis pas encore sur d'arriver jusque là)
> AWS, comme beaucoup d'autres produits AdaCore, est maintenant sur GitHub:
> https://github.com/AdaCore

sais tu pourquoi les pages d'accueil ont carrément disparu de adacore.com ?
(ça redirige sur https://www.adacore.com/community , ils auraient pu laisser une mini page d'accueil avec des infos minimalistes comme la nouvelle page d'accueil)


pourquoi GitHub ?

pourquoi pas https://framagit.org/ par exemple ?
( https://degooglisons-internet.org/fr/ )


> Vois si tu peux récupérer une version qui te convient...

j'ai posté un message sur [email protected], mais je n'ai pas encore de réponse pour l'instant ...


>>>> je n'ai HOSTNAME sur aucun des 2 linux (peut-être parce que je suis à
>>>> distance ?) ni sur mon mac
>>> Bizarre, c'est un grand classique de Linux. Attention, les noms de
>>> variables sont case-sensitive en Linux!
>> 
>> j'ai oublié de préciser que j'ai vérifié ça en tapant "export",
>> y a t il une commande qui donne la liste des variables sans leur contenu ? pour que tu te rendes compte
> "set" sans argument. Je te conseille de mettre un pipe vers more
> derrière, il y en a souvent beaucoup...

ah oui effectivement, j'ai le HOSTNAME !
(sur les 2 linux, et mon mac)
(donc il faut trouver autre chose pour différencier linux et mac os, mais on peut surement comparer la liste des variables et faire la différence)

désolé,
apparemment je ne sais pas encore des bien comment marchent les variables, je croyais que dans set c'était toutes les variables du shell en cours, y compris celles qui ne sont pas passées aux processus fils (sinon dans export c'est quoi ?)

mais j'apprendrai ça plus tard, là j'ai la tête remplie d'autres choses ...


-- 
Téléassistance / Télémaintenance
http://invites.biocer.fr/thomas-de-contes/

_______________________________________________
Ada-france mailing list
[email protected]
http://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france