From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ad4:4f54:0:b0:626:ed9:c283 with SMTP id eu20-20020ad44f54000000b006260ed9c283mr650401qvb.2.1685960113637; Mon, 05 Jun 2023 03:15:13 -0700 (PDT) X-Received: by 2002:a81:e309:0:b0:568:9bcc:5e16 with SMTP id q9-20020a81e309000000b005689bcc5e16mr3445345ywl.2.1685960113386; Mon, 05 Jun 2023 03:15:13 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!feeder1.feed.usenet.farm!feed.usenet.farm!peer02.ams4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 5 Jun 2023 03:15:13 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:1fb:a747:5f60:a239:1b77; posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h NNTP-Posting-Host: 2a03:7380:380d:1fb:a747:5f60:a239:1b77 References: <13757589-8844-46ec-8d09-24b4bfd65a52n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <4c19a057-411e-4042-ae5a-173cd724b72en@googlegroups.com> Subject: Re: GnatStudio 20230501 released From: Maxim Reznik Injection-Date: Mon, 05 Jun 2023 10:15:13 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1746 Xref: news.eternal-september.org comp.lang.ada:65293 List-Id: Great! Waiting for GNAT Studio in Arch Linux :) Speaking about AppImage. If you want installed version of GNAT Studio (for instance to have an access to the gnatdoc/gnatdoc4), then you can extract AppImage as an old .tag.gz archive and run doinstall: chmod +x ./GNAT_Studio-x86_64.AppImage ./GNAT_Studio-x86_64.AppImage --appimage-extract ./squashfs-root/usr/doinstall Best regards,