arch: prevent shell string escape in codepy cmdline strings#2715

mloubout merged 1 commit intomaindevitocodes/devito:mainfrom

fix-codepy-cmdlinedevitocodes/devito:fix-codepy-cmdlineCopy head branch name to clipboard