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=-0.5 required=3.0 tests=BAYES_05,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a05:622a:13:b0:3f6:aec9:e0cb with SMTP id x19-20020a05622a001300b003f6aec9e0cbmr2191352qtw.13.1685589538407; Wed, 31 May 2023 20:18:58 -0700 (PDT) X-Received: by 2002:a25:748b:0:b0:ba8:92bd:568 with SMTP id p133-20020a25748b000000b00ba892bd0568mr4488400ybc.3.1685589538215; Wed, 31 May 2023 20:18:58 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Wed, 31 May 2023 20:18:57 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:2e90:8100:71d0:4d9b:67bd:ac4; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 2a02:1210:2e90:8100:71d0:4d9b:67bd:ac4 References: <4397d1a5-dde5-4d4a-bbd6-79ea544583bfn@googlegroups.com> <07e3c6f5-596f-42cb-9363-b6ffa7f6eefbn@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9c0381e2-1a47-47a5-91fa-a30cee3c63a7n@googlegroups.com> Subject: Re: Ann: LEA v.0.87 From: Gautier write-only address Injection-Date: Thu, 01 Jun 2023 03:18:58 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1907 Xref: news.eternal-september.org comp.lang.ada:65278 List-Id: > > Alire: are you missing a LEA crate? > Why not but I was thinking compiling/running Alire projects from LEA. Good idea! For instance the "Build & Run" command (the green button) would launch "alr run" in that context. Added to the to-do list. Side note: a cool project would be a graphical tool, "Alire Explorer" (good name to be found) with buttons for the key Alire commands, a box displaying the contents of "alr show", ... Perhaps something to be made with GNOGA. > > ALS: = Ada language server? > That's it. Auto-completion and mouse-over documentation in LEA. Also added to the to-do list.