diff --git a/.nojekyll b/.nojekyll index f599dbba3..ad5ec4597 100644 --- a/.nojekyll +++ b/.nojekyll @@ -1 +1 @@ -16f9f055 \ No newline at end of file +dac9274c \ No newline at end of file diff --git a/admins/cluster-config.html b/admins/cluster-config.html index 75f308d6a..7c02c36dc 100644 --- a/admins/cluster-config.html +++ b/admins/cluster-config.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image + +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/credentials.html b/admins/credentials.html index f56e237ad..aa865fbc0 100644 --- a/admins/credentials.html +++ b/admins/credentials.html @@ -256,6 +256,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/calendar-scaler.html b/admins/howto/calendar-scaler.html index 9ae9976ca..3e782cd33 100644 --- a/admins/howto/calendar-scaler.html +++ b/admins/howto/calendar-scaler.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/clusterswitch.html b/admins/howto/clusterswitch.html index d4d2dca38..03a094543 100644 --- a/admins/howto/clusterswitch.html +++ b/admins/howto/clusterswitch.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/core-pool.html b/admins/howto/core-pool.html index 5276d2fc0..92a272818 100644 --- a/admins/howto/core-pool.html +++ b/admins/howto/core-pool.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/course-config.html b/admins/howto/course-config.html index 367ab7acf..76273ed82 100644 --- a/admins/howto/course-config.html +++ b/admins/howto/course-config.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/delete-hub.html b/admins/howto/delete-hub.html index 9247d5e27..ba3a85609 100644 --- a/admins/howto/delete-hub.html +++ b/admins/howto/delete-hub.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/dns.html b/admins/howto/dns.html index faa2382bd..fcd418046 100644 --- a/admins/howto/dns.html +++ b/admins/howto/dns.html @@ -256,6 +256,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/documentation.html b/admins/howto/documentation.html index 10ddf158b..3b243ceb0 100644 --- a/admins/howto/documentation.html +++ b/admins/howto/documentation.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/github-token.html b/admins/howto/github-token.html index 5ef7e7527..43c6afe0a 100644 --- a/admins/howto/github-token.html +++ b/admins/howto/github-token.html @@ -256,6 +256,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/google-sheets.html b/admins/howto/google-sheets.html index d1abb6fc5..28de138ea 100644 --- a/admins/howto/google-sheets.html +++ b/admins/howto/google-sheets.html @@ -290,6 +290,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/index.html b/admins/howto/index.html index 0a2b129ea..8a2e4dafb 100644 --- a/admins/howto/index.html +++ b/admins/howto/index.html @@ -254,6 +254,12 @@ Customize the Per-User Postgres Docker Image
    +
    • +
  • +
    + + Managing multiple user image repos +
  • diff --git a/admins/howto/managing-multiple-user-image-repos.html b/admins/howto/managing-multiple-user-image-repos.html index b44f8afcc..92255bc0a 100644 --- a/admins/howto/managing-multiple-user-image-repos.html +++ b/admins/howto/managing-multiple-user-image-repos.html @@ -30,6 +30,8 @@ + + @@ -118,7 +120,7 @@ - +
    @@ -173,13 +175,13 @@
  • - Contributing to DataHub -
    -