force git -C $root to make sure it gets its root
[spider.git] / local_cmd /
2021-11-24 Dirk Koopmanadd local local_cmd and local_data directories