From 03dfce908a3d72c253fac4efdfece8935ea5583a Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Wed, 9 Oct 2019 17:01:13 +0200
Subject: [PATCH] [bootstrap] Remove .gitignore file from current checkout to
avoid issues with ripgrep (see !112)
---
bob/devtools/bootstrap.py | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py
index 863d5a35..9329043a 100644
--- a/bob/devtools/bootstrap.py
+++ b/bob/devtools/bootstrap.py
@@ -431,6 +431,15 @@ if __name__ == "__main__":
setup_logger(logger, args.verbose)
+ #### HACK to avoid ripgrep ignoring bin/ directories in our checkouts
+ if os.path.exists('.gitignore'):
+ logger.warn('Removing ".gitignore" to overcome issues with ripgrep')
+ logger.warn('See https://gitlab.idiap.ch/bob/bob.devtools/merge_requests/112')
+ os.unlink('.gitignore')
+ #### END OF HACK
+
+ condarc = os.path.join(args.conda_root, "condarc")
+
install_miniconda(args.conda_root, args.name)
conda_bin = os.path.join(args.conda_root, "bin", "conda")
--
GitLab