diff options
| author | Renaud Paquay <rpaquay@google.com> | 2016-11-01 15:51:59 -0700 |
|---|---|---|
| committer | Renaud Paquay <rpaquay@google.com> | 2017-08-31 13:49:26 -0700 |
| commit | e8595e9df7980b0b7d9111de43d294c4439d474c (patch) | |
| tree | 1a7034b7854eb47965b8112ccaf3b33687cac583 /git_config.py | |
| parent | 227ad2ef42f47798d24814dfc2cef8119c313ab7 (diff) | |
| download | git-repo-e8595e9df7980b0b7d9111de43d294c4439d474c.tar.gz | |
Support pager on Windows
Windows does not support pipe|fork, but we can simulate by creating
the pager as a child process, redirecting stdout/in/err appropriately
and then waiting for the child process to terminate after we are
done executing the repo command.
Change-Id: I5dd2bdeb4095e4d93bc678802e53c6d4eda0235b
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions