Do not speak Portuguese? Translate this site with Google or Bing Translator

Pular para o conteúdo

Programas
- Por categoria
  - Aparência
    - Temas
    - Ícones
    - Outros
  - Editores
  - Internet
  - Ferramentas
- Por formato
  - AppImage
  - DEB
  - Flatpak
  - RPM
  - Snap
Informações e dicas
- Receba as notícias no seu e-mail
- Distribuicoes
  - Android
  - bodhi
  - Arch
  - CentOS
  - Debian
  - Fedora
  - Mageia
  - Mandriva
  - Manjaro
  - Linux Mint
  - OpenMandriva
  - pclinuxos
  - openSUSE
  - RedHat
  - Sabayon
  - Scientific
  - Ubuntu
- Vídeos
  - Consultoria
Anuncie
Ajude
Sobre…

Programas
- Por categoria
  - Aparência
    - Temas
    - Ícones
    - Outros
  - Editores
  - Internet
  - Ferramentas
- Por formato
  - AppImage
  - DEB
  - Flatpak
  - RPM
  - Snap
Informações e dicas
- Receba as notícias no seu e-mail
- Distribuicoes
  - Android
  - bodhi
  - Arch
  - CentOS
  - Debian
  - Fedora
  - Mageia
  - Mandriva
  - Manjaro
  - Linux Mint
  - OpenMandriva
  - pclinuxos
  - openSUSE
  - RedHat
  - Sabayon
  - Scientific
  - Ubuntu
- Vídeos
  - Consultoria
Anuncie
Ajude
Sobre…

TLA+

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

05/05/2020 Por Edivaldo Brito

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

Leia o artigo completo

Ou receba as notícias no seu e-mail

Siga-nos

Sobre esse site

Blog do Edivaldo é um site que descomplica o Linux com noticias, dicas, tutoriais e informações sobre Ubuntu, Debian, Mint, Fedora, openSUSE, Arch, Redhat, CentOS, Manjaro e muito mais informações sobre Linux, software livre e de código aberto.

Navegação

→ Sobre
→ Contato
→ Anuncie
→ Termos de uso e política de privacidade

Blog do Edivaldo em qualquer lugar

Assine o nosso Feed
Canal no Telegram
Blog do Edivaldo na Google Play banca
Aplicativo Blog do Edivaldo

Inicio
O que é Linux?
O que é Software Livre
Sobre o Blog do Edivaldo…
Como você pode ajudar a manter o Blog