Skip to content
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.

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

Remove need to manually run init.sh script for better user experience #50

Open
cchwala opened this issue May 24, 2023 · 0 comments
Open
Labels
build_process Everythin related to building docker and binder things user experience

Comments

@cchwala
Copy link
Member

cchwala commented May 24, 2023

With the split into a content repo and and environment repo in #31 came the problem that we always have to manually run a init.sh in the binder environment before the actual notebook can be run. The script also takes approx. 1 minute to run. Currently what you get as "landing page" in the binder env looks like that:

Bildschirmfoto 2023-05-24 um 09 58 47

We could potentially remove the need to run the init.sh script when the binder env is run from the main branch, which is what happens when a user clicks on the launch binder buttom from the README in the sandbox repo.

We could do that by not using the environment defined in the separate env repo which does not allow us to run something like the init.sh script when starting the binder pod. When using the env defined in this repo here we could (if I recall correctly) run either postBuild or start script.

I have not figured out the details yet. I just want to document the idea here since we currently aim at improving the user experience.

@cchwala cchwala added user experience build_process Everythin related to building docker and binder things labels May 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build_process Everythin related to building docker and binder things user experience
Projects
None yet
Development

No branches or pull requests

1 participant