Outils pour utilisateurs

Outils du site


shell

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision
Révision précédente
Prochaine révisionLes deux révisions suivantes
shell [2017/06/20 13:24] toussainshell [2017/06/20 13:30] toussain
Ligne 12: Ligne 12:
  
 <color #ed1c24>**Important** : Pensez toujours à bien quitter la session interactive à l'aide de la commande **exit** pour éviter de laisser des ressources oisives et indisponibles pour les autres utilisateurs.</color> <color #ed1c24>**Important** : Pensez toujours à bien quitter la session interactive à l'aide de la commande **exit** pour éviter de laisser des ressources oisives et indisponibles pour les autres utilisateurs.</color>
- 
  
 =====Ajout d'options===== =====Ajout d'options=====
shell.txt · Dernière modification : 2018/10/11 20:49 de 127.0.0.1