Ceci est une ancienne révision du document !


RAPPEL : allo-psmn est un serveur de connexion; il vous permet d'avoir accès à vos fichiers et de les transférer, et c'est tout. Pour travailler, il faut se connecter, depuis allo-psmn, sur l'un des serveurs de compilation

Un grand nombre des logiciels déjà installés ne sont pas listés dans les pages suivantes.
Cherchez d'abord dans /usr/bin/ (standard),
/softs/Debian7/ (old, deprecated)
et /applis/PSMN/generic/ ou /applis/PSMN/debian7/ (new)

Les outils

Les logiciels

Les langages

documentation/tools/accueil.1496906727.txt.gz · Dernière modification : 2020/08/25 15:58 (modification externe)