commit | e8595e9df7980b0b7d9111de43d294c4439d474c | [log] [tgz] |
---|---|---|
author | Renaud Paquay <rpaquay@google.com> | Tue Nov 01 15:51:59 2016 -0700 |
committer | Renaud Paquay <rpaquay@google.com> | Thu Aug 31 13:49:26 2017 -0700 |
tree | 1a7034b7854eb47965b8112ccaf3b33687cac583 | |
parent | 227ad2ef42f47798d24814dfc2cef8119c313ab7 [diff] |
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
Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.