1  #!/usr/bin/env python3
 2  
 3  from pyinfra.operations import apt, git, files, server
 4  
 5  FREE42_DIR = "/home/wolfgang/.pyinfra-deploy/free42"
 6  
 7  files.directory(FREE42_DIR)
 8  
 9  git.repo(
10      src = "https://codeberg.org/thomasokken/free42.git",
11      dest = FREE42_DIR,
12      branch = "v3.3.10"
13  )
14  
15  server.shell(
16      name="Run free42",
17      _chdir=FREE42_DIR,
18      commands=["bash build-gtk"],
19  )