| # Helpers for running git commands under sudo. | |
| # Runs a scriplet passed through stdin under sudo. | |
| run_with_sudo () { | |
| local ret | |
| local RUN="$TEST_DIRECTORY/$$.sh" | |
| write_script "$RUN" "$TEST_SHELL_PATH" | |
| # avoid calling "$RUN" directly so sudo doesn't get a chance to | |
| # override the shell, add aditional restrictions or even reject | |
| # running the script because its security policy deem it unsafe | |
| sudo "$TEST_SHELL_PATH" -c "\"$RUN\"" | |
| ret=$? | |
| rm -f "$RUN" | |
| return $ret | |
| } |