about summary refs log tree commit diff
path: root/third_party
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2021-12-17T22·52+0300
committertazjin <mail@tazj.in>2021-12-18T15·03+0000
commit8fb90b9e5eb58bc8e1820f4c8c8fd65bcc0031dd (patch)
tree92fc05cd2a53551096ada4e1ddcf5ec8171a5342 /third_party
parent46a4e25550456790999c3afe4a578dedb8fe5024 (diff)
feat(tools/magrathea): let users override the repository root r/3292
for global installations of magrathea, setting MG_ROOT can be a way to
switch quickly between different repositories (esp. in combination
with `cd (mg path)`).

Change-Id: I4627fe78b7cc112b75ab57e7806ffd85c6d38aee
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4396
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions