J'ai lu récemment que les fichiers .desktop utilisés comme raccourcis sur le bureau sont placés dans le répertoire $HOME/Desktop. Où se trouve ce répertoire?
Aussi, que signifie / fait la partie $?
Réponses
Trop de publicités?
$HOME est une variable d'environnement qui contient l'emplacement de votre répertoire personnel, généralement /home/$USER. Le $ nous indique qu'il s'agit d'une variable. Donc, en supposant que votre utilisateur s'appelle DevRobot, les fichiers .desktop sont placés dans /home/DevRobot/Desktop/.
Si vous voulez connaître où pointe $HOME, vous pouvez exécuter ce qui suit dans un terminal.
[ajefferiss@localhost ~]$ echo "$HOME"
/home/ajefferissVous pouvez l'utiliser pour vous déplacer dans le système de fichiers, par exemple cd $HOME, mais en général vous ne verrez pas cela car vous pouvez utiliser ~/ pour représenter le répertoire personnel de l'utilisateur actuel. Ou exécutez simplement cd seul pour vous déplacer vers le répertoire personnel.
Mitch
Points
102545
$HOME est une variable d'environnement qui pointe vers /home/. Elle est située sous / et contient les fichiers de l'utilisateur.
Pour plus d'informations, vous pouvez consulter le Manuel de Référence de Bash
