Skip to content

Commit

Permalink
Merge pull request #5088 from ryanlovett/dev-r-named-servers
Browse files Browse the repository at this point in the history
Enable named servers on dev-r.
  • Loading branch information
ryanlovett authored Sep 29, 2023
2 parents b90a5e1 + 4e1ac7b commit 82b5893
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion deployments/dev-r/config/common.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,11 @@ jupyterhub:
nodeSelector:
hub.jupyter.org/pool-name: core-pool-2023-07-11

cull:
removeNamedServers: true

hub:
allowNamedServers: true
nodeSelector:
hub.jupyter.org/pool-name: core-pool-2023-07-11
config:
Expand Down Expand Up @@ -42,7 +46,7 @@ jupyterhub:
- course::1524699::enrollment_type::ta

singleuser:
defaultUrl: /rstudio
defaultUrl: /hub/home
profileList:
- display_name: "Dockerfile image"
description: "This is the original dev-r image."
Expand Down

0 comments on commit 82b5893

Please sign in to comment.