| commit | 266f74c88844aa58189af4343aac2467c4b105f0 | [log] [tgz] |
|---|---|---|
| author | Sebastian Schuberth <sschuberth@gmail.com> | Wed Apr 17 19:08:52 2019 +0200 |
| committer | Sebastian Schuberth <sschuberth@gmail.com> | Wed Apr 17 19:46:05 2019 +0200 |
| tree | ef3b933c53c8462a55c9cbf78b7a1f9b8dae4e03 | |
| parent | 1f1596b4735e8d27445a5044fd39b2c17555ef80 [diff] |
info: Use the non-formatting printer for headtext
If "repo init" was run in a path containing "%", "repo info" would fail
printing the path with
File ".repo/repo/color.py", line 173, in f
return fmt % args
TypeError: not enough arguments for format string
as the "%" in the path name is interpreted as the start of a formatting
specifier. Avoid that by using the non-formatting printer for headtext
which does not require any formatting so there is no need to try to
expand "%" sequences.
Change-Id: Ie193b912191fe7cdabdce5c97bb100f0714f6e76
Signed-off-by: Sebastian Schuberth <sschuberth@gmail.com>
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.