Rename nxc shells
Currently we have nxcShell and nxcShellFull. However, the latter has packages that we really need for the vm flavour. We might consider renaming them respectively nxcShellLight and nxcShell (suggestion of @orichard).
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Currently we have nxcShell and nxcShellFull. However, the latter has packages that we really need for the vm flavour. We might consider renaming them respectively nxcShellLight and nxcShell (suggestion of @orichard).