Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
bob
bob.devtools
Commits
03dfce90
Commit
03dfce90
authored
Oct 09, 2019
by
André Anjos
💬
Browse files
[bootstrap] Remove .gitignore file from current checkout to avoid issues with ripgrep (see
!112
)
parent
0387e715
Pipeline
#34192
passed with stage
in 12 minutes and 16 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
bob/devtools/bootstrap.py
View file @
03dfce90
...
...
@@ -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"
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment