Ho letto di recente che i .desktop
file utilizzati come collegamenti sul desktop vengono inseriti nella $HOME/Desktop
directory. Dov'è questa directory?
Inoltre, cosa $
significa / fa la parte?
Ho letto di recente che i .desktop
file utilizzati come collegamenti sul desktop vengono inseriti nella $HOME/Desktop
directory. Dov'è questa directory?
Inoltre, cosa $
significa / fa la parte?
Risposte:
$HOME
è una variabile di ambiente che contiene in genere la posizione della home directory /home/$USER
. Il $
ci dice che è una variabile. Quindi supponendo che il tuo utente sia chiamato, DevRobot
i .desktop
file vengono inseriti /home/DevRobot/Desktop/
.
Se vuoi sapere dove $HOME
puntare, puoi eseguire quanto segue in un terminale.
[ajefferiss@localhost ~]$ echo "$HOME"
/home/ajefferiss
Puoi usarlo per spostarti nel filesystem, ad esempio, cd $HOME
ma generalmente non lo vedrai perché puoi usare ~/
per rappresentare la home directory degli utenti correnti. O semplicemente eseguito cd
da solo per passare alla home directory.
Or just run cd by itself to move to the home directory
, TIL
cd ~
senza rendermi conto che potrei saltare la mossa mignolo maiuscola?
cd ~/
!
HOME
è la variabile d'ambiente. La shell ha bisogno che tu lo anteponga $
per significarlo.
$HOME
è una variabile d'ambiente che punta a /home/<username>
. Si trova sotto /
e contiene i file dell'utente.
Per ulteriori informazioni, ti consigliamo di dare un'occhiata al Manuale di riferimento di Bash
/home/<username>
. Apache su Ubuntu crea un utente il www-data
cui $ HOME è /var/www
, ad esempio
HOME
è la variabile d'ambiente. La shell ha bisogno che tu lo anteponga $
per significarlo.
/home/<username>
è una convenzione, non un requisito. È facile aggiungere un utente con $ HOME a /somewhere/entirely/different
.
$HOME
varia anche da utente a utente. Alcuni utenti del sistema non hanno un$HOME
percorso strano/home/...