Services:
Workbench2:
ExternalURL: "https://workbench2.ClusterID.example.com"
server {
listen 80;
server_name workbench2.ClusterID.example.com;
return 301 https://workbench2.ClusterID.example.com$request_uri;
}
server {
listen 443 ssl;
server_name workbench2.ClusterID.example.com;
ssl_certificate /YOUR/PATH/TO/cert.pem;
ssl_certificate_key /YOUR/PATH/TO/cert.key;
index index.html;
# Workbench2 uses a call to /config.json to bootstrap itself
# and find out where to contact the API server.
location /config.json {
return 200 '{ "API_HOST": "ClusterID.example.com" }';
}
location / {
root /var/www/arvados-workbench2/workbench2;
index index.html;
try_files $uri $uri/ /index.html;
if (-f $document_root/maintenance.html) {
return 503;
}
}
}
irb(main):001:0> wb = ApiClient.all.last; [wb.url_prefix, wb.created_at]
=> ["https://workbench.example.com/", Sat, 19 Apr 2014 03:35:12 UTC +00:00]
irb(main):002:0> include CurrentApiClient
=> true
irb(main):003:0> act_as_system_user do wb.update!(is_trusted: true) end
=> true