• intrigeri's avatar
    Extract Python code to an external script · 175ef609
    intrigeri authored
    We're already generating shell code in this Python code,
    let's not in turn embed this Python code itself into shell:
     - This bypasses all kinds of linting and checks done in CI
       (now and those we'll add in the future).
     - This makes it harder to get help from one's IDE.