Zsolt Szabó
Zsolt Szabó
If I remove/rename the folder `/opt/julia/local` then julia discards to search it, and tries to use `~/.julia`. (I.e. each project has to setup it correctly -- e.g. from a terminal...
Still no progress...? I wrote a script named `servers.sh` to get the active servers (`servers.sh on`) or print the servers and their last_activity timestamp (`servers.sh la`): ``` #!/bin/bash case "$1"...
A possible "workaround" can be setting the `api_page_default_limit` variable to a higher value than 50. ... or an enhancement such as #4709
The way to add and use globally installed packages: ``` docker exec -it cocalc bash # now we are root umask 0022 JULIA_DEPOT_PATH=/opt/julia/local/share/julia julia pkg> add PyCall SymPy pkg> precompile...
Does somebody know what's the purpose of the folder (volume) `/androidstudio-data`? I have built the image without it and it seems to run fine (omitting the volume mapping, too)
It seems to be similar to #3671 but in the opposite way ( /tree /lab )
Hm... the following modifications in `jupyterhub_config.py` seem to help: ``` { 'name': 'share-role', 'scopes': [ 'access:services!service=SHARED_SERVICE', 'read:users' ], 'groups': [ 'share_group' ], 'services': [ 'SHARED_SERVICE' ] } ``` The `read:users`...
This issue of jupyterlab-rise may be also related: https://github.com/jupyterlab-contrib/rise/issues/71
@brichet Thanks! Indeed, downgrading to jupyterlab==4.0.12 notebook==7.0.7 helped.
@jeflem I confirm the need of scope `read:services!service=testcourse` I had similar problem: non-admin users could not list courses. The log misses scope `list:services`, however, adding it was not enough. I...