plasmabio / tljh-repo2docker

Plugin for The Littlest JupyterHub to build multiple user environments with repo2docker

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Homogenize environments names and directories

pierrepo opened this issue · comments

The new environment panel management now exhibits the name of the environment:

image

Default environment names are built upon URL of the repo and reference. For instance, repo URL https://github.com/plasmabio/template-bash and reference master produce env name plasmabio/template-bash-master. In the user home directory however, this environment is created in the plasmabio-template-bash-master directory.

It would be more intuitive for the end-users to have identical names for both the environment and the directory containing files of this environment.

Indeed, we could use plasmabio-template-bash-master the env name and the folder name.

Yes. You're right.

Also for now, PlasmaBio doesn't use the new name to create the folders yet, if a name was specified. It still creates them as plasmabio-template-bash-master.