8000 MNT: Check if running inside repo2docker more explicitly by yuvipanda · Pull Request #30835 · scikit-learn/scikit-learn · GitHub
[go: up one dir, main page]
Skip to content

MNT: Check if running inside repo2docker more explicitly #30835

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Feb 17, 2025
+3 −3
Merged

MNT: Check if running inside repo2docker more explicitly #30835

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
05a5710
MNT: Check if running inside repo2docker more explicitly
yuvipanda Feb 14, 2025
3e214c6
Fix typo
yuvipanda Feb 14, 2025
4aedf1b
Tweak comment
lesteve Feb 17, 2025
3d58ad3
Tweak comment
lesteve Feb 17, 2025
58b26f7
[azure parallel] trigger CI
lesteve Feb 17, 2025
f1161ce
[azure parallel] tweak comment
lesteve Feb 17, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .binder/postBuild
100644 → 100755
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,9 @@ set -e
# inside a git checkout of the scikit-learn/scikit-learn repo. This script is
# generating notebooks from the scikit-learn python examples.

if [[ ! -f /.dockerenv ]]; then
echo "This script was written for repo2docker and is supposed to run inside a docker container."
echo "Exiting because this script can delete data if run outside of a docker container."
if [[ -z "${REPO_DIR}" ]]; then
echo "This script was written for repo2docker and the REPO_DIR environment variable is supposed to be set."
echo "Exiting because this script can delete data if run outside of a repo2docker context."
exit 1
fi

Expand Down
Loading
0