« Le système d'exploitation GNU-Linux/Le serveur de shell distant SSH » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 292 :
On peut aussi utiliser ''CMD'' au lieu de ''Bash'' pour modifier la variable d'environnement "home", ce qui aboutit à un résultat équivalent :
> setx HOME %USERPROFILE%
> set home
home=C:\Users\Utilisateur
HOMEDRIVE=C:
HOMEPATH=\Users\Utilisateur
Attention : sous ''Git CMD'' cela ne fonctionne pas, il faut vraiment utiliser la console DOS du système :
> set home
home=c:UsersUtilisateur
| |||