Port complex build shell scripts to Python
Originally created by @intrigeri on #11754 (Redmine)
Blueprint: https://tails.boum.org/blueprint/Port_shell_scripts_to_Python/
Parent Task: #11198 (closed)
Originally created by @intrigeri on #11754 (Redmine)
Blueprint: https://tails.boum.org/blueprint/Port_shell_scripts_to_Python/
Parent Task: #11198 (closed)