Function _shell_quote

src/benchmarks/swe_bench_verified/docker_exec_client.py:370–372

Quote a string for safe use in shell commands.

(s: str)

def _shell_quote(s: str) -> str:
    """Quote a string for safe use in shell commands."""
    return "'" + s.replace("'", "'\"'\"'") + "'"