Ícone do site Blog do Edivaldo – Informações e Notícias sobre Linux

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.

appO TLA+ é uma linguagem de alto nível para modelagem de programas e sistemas.

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

É baseado na ideia de que a melhor maneira de descrever as coisas com precisão é com a matemática simples. O TLA+ e suas ferramentas são úteis para eliminar erros fundamentais de design, difíceis de encontrar e caros de corrigir no código.

Já a TLA Toolbox é uma IDE (ambiente de desenvolvimento integrado) para as ferramentas TLA+. Use-o para:

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

Para instalar a IDE TLA+ Toolbox via Flatpak você precisa ter o suporte a essa tecnologia instalado em seu sistema. Se não tiver, use o tutorial abaixo para instalar:

Como instalar o suporte a Flatpak no Linux

Depois, você pode instalar a IDE TLA+ Toolbox via Flatpak, fazendo o seguinte:

Passo 1. Abra um terminal;
Passo 2. Use o comando abaixo para instalar o programa via Flatpak. Tenha paciência, pois muitas vezes pode demorar vários minutos para que o Flatpak faça o download de tudo o que precisa;

flatpak install --user https://flathub.org/repo/appstream/org.lamport.tla.toolbox.flatpakref

Passo 3. Para atualizar o programa, quando uma nova versão estiver disponível, execute o comando:

flatpak --user update org.lamport.tla.toolbox

Pronto! Agora, quando quiser iniciar o programa, digite flatpak run org.lamport.tla.toolbox em um terminal.

Você também pode tentar iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite tla ou em um terminal, seguido da tecla TAB.

Como desinstalar a IDE TLA+ Toolbox no Linux via Flatpak

Para desinstalar a IDE TLA+ Toolbox via Flatpak, fazendo o seguinte:

Passo 1. Abra um terminal;
Passo 2. Desinstale o programa, usando o seguinte comando no terminal:

flatpak --user uninstall org.lamport.tla.toolbox

Ou

flatpak uninstall org.lamport.tla.toolbox

O que está sendo falado no blog

Blog do Edivaldo – Informações e Notícias sobre Linux

Ir para o topo