Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.
Categoria: Elementary
Elementary OS é um sistema operacional Linux baseado no Ubuntu. É projetado para ser fácil de usar e possui um design de interface de usuário limpo e moderno.
É construído a partir do núcleo Linux, e inclui aplicativos baseados no GTK, como Plank, Midori, e Epiphany.
Elementary OS vem com vários aplicativos para desempenhar tarefas básicas, como navegação web, edição de texto, e ouvir música.
Além disso, oferece suporte ao instalar programas adicionais de várias fontes. Ele também inclui um gerenciador de pacotes para instalar e atualizar aplicativos.
Confira aqui as dicas, tutoriais e notícias sobre o Elementary OS.
E após três anos em produção, finalmente foi lançado o Inkscape 1.0. Confira as novidades dessa importante atualização e veja como instalar no Linux.
Se você quer trabalhar com a criptomoeda Éden no sistema do pinguim, conheça e veja como instalar a carteira Reden core no Linux via Snap.
Se você quer criar as suas próprias fontes para usar no seu sistema, veja como instalar o editor de fontes FontForge no Linux via AppImage.
Se você trabalha com robôs FRC e quer facilidade, conheça e veja como instalar o gerador de perfil de movimento PathPlanner no Linux via Snap.
Foi lançado o HandBrake 1.3.2 com suporte aprimorado a H.265 e correções. Confira as novidades e veja como instalar no Linux.
E foi lançado o Firefox 76 com novo recurso de segurança e melhorias no PiP. Confira as novidades e veja como instalar no Linux.
Se você quer trabalhar com os drivers gráficos da Intel, conheça e veja como instalar o Intel Graphics Compiler no Ubuntu, Debian, Mint e derivados.
Se você precisa acompanhar facilmente suas horas de uma forma bem simples e sem se enrolar, conheça e veja como instalar o app Kapow Punch Clock no Linux via Flatpak.
Em seu artigo semanal, Nate Graham informou que o projeto KDE prepara melhorias no Dolphin e muitas outras correções. Confira o que vem por aí nesse importante ambiente.
Se você precisa criar seres humanos virtuais em 3d, veja como instalar o utilitário MakeHuman no Ubuntu, Debian e derivados, e comece a produzir.
Se você gosta de jogos no estilo RPG com subgênero Roguelike, conheça e veja como instalar o jogo Shattered Pixel Dungeon no Linux via Flatpak.