| commit | b10f0e5b9a9ba6d8e9a27b3a81d2fc1d65d9810d | [log] [tgz] |
|---|---|---|
| author | Adam Borowski <kilobyte@angband.pl> | Wed Feb 28 23:12:04 2018 +0100 |
| committer | Jonathan Nieder <jrn@google.com> | Wed Jul 11 13:45:58 2018 -0700 |
| tree | 00d0d2ead678883f511f4e44abb0ab63747ac6b8 | |
| parent | da40341a3e6e2e45877426aaefb97b3f0735a776 [diff] |
hooks/pre-auto-gc-battery: allow gc to run on non-laptops
Desktops and servers tend to have no power sensor, thus on_ac_power returns
255 ("unknown"). Thus, let's take any answer other than 1 ("battery") as
no contraindication to run gc.
If that tool returns "unknown", there's no point in querying other sources
as it already queried them, and is smarter than us (can handle multiple
adapters).
Reported by: Xin Li <delphij@google.com>
Signed-off-by: Adam Borowski <kilobyte@angband.pl>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
(cherry picked from git.git commit 781262c5e7ad4a7813c528803117ed0d2e8c5172)
Signed-off-by: Fredrik Roubert <roubert@google.com>
Signed-off-by: Jonathan Nieder <jrn@google.com>
Change-Id: I51fe2eb1eb879492a61e8e09c86ee34d049036c1
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.