2 developer_install_gui: false
3 developer_gui_packages: []
5 developer_install_tui: true
6 developer_tui_packages:
7 # Used by tar when downloading .tar.bz2 releases with vlttng
14 # wget may be used by some vlttng commands
17 developer_install_vlttng: true
18 developer_pip_requirements: