Path: ...!weretis.net!feeder8.news.weretis.net!news.imp.ch!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: DrPi <314@drpi.fr>
Newsgroups: fr.comp.lang.ada
Subject: Re: GNAT Studio pour Linux
Date: Sat, 16 Sep 2023 10:10:53 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <ue3nud$7s5$1@shakotay.alphanet.ch>
References: <ue2ls3$3eeaj$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 16 Sep 2023 08:10:53 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
	logging-data="8069"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha256:euOAFojwbUAIA3UaximlkTgpPxXQ3tjv7h+EdH8MCyM=
Content-Language: fr
In-Reply-To: <ue2ls3$3eeaj$1@dont-email.me>
Bytes: 1519
Lines: 19

Le 16/09/2023 à 00:29, Thomas a écrit :
> bonjour :-)
> 
> 
> j'aimerais installer GNAT Studio sous mon Linux (Ubuntu 22).
> 
> 
> Comment faire ?
> 
> J'ai trouvé le paquet "gnat-gps" dans Ubuntu 20 :
> https://packages.ubuntu.com/focal/gnat-gps
> mais plus rien qui correspond à ça dans les versions suivantes.
> 
> si la méthode recommandée est d'installer Alire, y a-t-il un paquet pour 
> lui ?
> 
> 
Le projet GnatStudio est dur GitHub : https://github.com/AdaCore/gnatstudio

Pour Linux, il y a un fichier .AppImage dans les releases.