-
Notifications
You must be signed in to change notification settings - Fork 4
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
add rstudio bash script #137
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we should keep the script as simple as possible.
.devcontainer/rstudio.sh
Outdated
|
||
# Get rstudio url and open it | ||
url=$(jq -r ".CODESPACE_NAME" /workspaces/.codespaces/shared/environment-variables.json) | ||
url_rstudio="https://$url-8787.app.github.dev" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The url is not possible to reach without gitlab auth.
I will propose to keep it simple.
$BROWSER "https://${CODESPACE_NAME}-8787.${GITHUB_CODESPACES_PORT_FORWARDING_DOMAIN}"
If you would like to check if rstudio is stareted we should query http://localhost:8787
.
Hi @dgrassellyb could you take a look on comments? |
Hi @galachad this one is quite outdated, it's a bit duplicate on what you did for codespaces I see you suggested to delete the part waiting rstudio server to be ready (rstudio.sh script) - so I guess we can just close this PR |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It will be nice to have the rstudio
command in the console.
I'm merging this PR.
No description provided.