Nos dias 15 e 16 de outubro de 2026, durante a Semana Acadêmica de Computação e Eletrônica (SECOMP+), realizada na Universidade Tecnológica Federal do Paraná (UTFPR), Campus Curitiba, foi ministrada a oficina “NixOS: Commit, Rebuild, Rollback — Um Linux declarativo, reproduzível e versionado com Git”, pelo integrante do PET Engenharia de Computação (PETECO), Marco Antônio Kochem Vendramin.
A atividade apresentou o NixOS, uma distribuição Linux baseada no gerenciador de pacotes Nix, cuja abordagem declarativa busca reduzir problemas relacionados a dependências de software, diferenças entre ambientes computacionais e dificuldades na atualização e recuperação de sistemas.
Durante a exposição teórica, foram abordados conceitos como gerenciamento de dependências, Nix Store, configurações declarativas, atualizações atômicas, rollback, Flakes, Home Manager e versionamento de configurações com Git.
Além da apresentação, a oficina contou com uma atividade prática realizada simultaneamente nos computadores do laboratório. Os participantes criaram máquinas virtuais e acompanharam a instalação do NixOS desde o início, incluindo a instalação declarativa de programas e a execução de uma atualização do sistema pelo terminal.
Ao longo dos dois dias, a oficina reuniu 37 participantes, que tiveram a oportunidade de conhecer e experimentar, na prática, uma abordagem declarativa para o gerenciamento de sistemas Linux. A atividade reforçou a importância de iniciativas que aproximam os conhecimentos acadêmicos de tecnologias utilizadas em ambientes reais de desenvolvimento e administração de sistemas.
A atividade contou com o apoio dos integrantes Raphael Geraldine e Felipe Shiobara, que prestaram assistência aos participantes durante as etapas da instalação prática.
A realização da oficina reforça o compromisso do PET Engenharia de Computação (PETECO) com a difusão de conhecimentos, o incentivo à aprendizagem prática e a aproximação da comunidade acadêmica com tecnologias de código aberto. O grupo agradece ao Diretório Acadêmico de Sistemas de Informação e Engenharia de Computação (DASC) pela organização da SECOMP+ e a todos os participantes que contribuíram para o sucesso da atividade.
A seguir, estão disponíveis os slides utilizados na oficina e alguns registros fotográficos da atividade.
Material utilizado na oficina
A apresentação utilizada durante a oficina está disponível abaixo para consulta e download, reunindo os fundamentos teóricos do NixOS e os exemplos práticos abordados durante a atividade.