Terms and Definitions in Nix Project: Difference between revisions
m Minor wording changes and an updated link to the manual page on recursive sets. |
m use syntaxhighlight=console for shell command |
||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
<languages/> | |||
<translate> | |||
<!--T:1--> | |||
If you come across a term or word you don't know, add it here. | If you come across a term or word you don't know, add it here. | ||
<!--T:2--> | |||
<!-- README: Rows in this table with named divs have been linked to in other pages. Avoid renaming or removing any of the divs. --> | <!-- README: Rows in this table with named divs have been linked to in other pages. Avoid renaming or removing any of the divs. --> | ||
{| class="wikitable" | {| class="wikitable" | ||
| Line 17: | Line 21: | ||
|| Nix | || Nix | ||
|| Profiles simplify managing and switching between ''user environments'', and thus control which applications and system configurations are in active use. Generally, a ''profile'' is a link to a ''generation'', and the corresponding '''profiles''' folder collects a list of generations. A standalone Nix installation (i.e. on a Linux distro that is not NixOS) operates mainly on ''user'' profiles. In NixOS, there is also a ''system'' profile that manages the system-wide configuration (e.g. ''/etc'', the kernel, ''initrd'', ''systemd''). Other tools like [[Home Manager]] may also have their own profiles. By default, a user's active profile is stored at ''~/.nix-profile'': | || Profiles simplify managing and switching between ''user environments'', and thus control which applications and system configurations are in active use. Generally, a ''profile'' is a link to a ''generation'', and the corresponding '''profiles''' folder collects a list of generations. A standalone Nix installation (i.e. on a Linux distro that is not NixOS) operates mainly on ''user'' profiles. In NixOS, there is also a ''system'' profile that manages the system-wide configuration (e.g. ''/etc'', the kernel, ''initrd'', ''systemd''). Other tools like [[Home Manager]] may also have their own profiles. By default, a user's active profile is stored at ''~/.nix-profile'': | ||
<syntaxHighlight lang= | <syntaxHighlight lang=console> | ||
$ ls -l ~/.nix-profile | $ ls -l ~/.nix-profile | ||
lrwxrwxrwx ... /home/username/.nix-profile -> | lrwxrwxrwx ... /home/username/.nix-profile -> | ||
| Line 37: | Line 41: | ||
|| Nix | || Nix | ||
|| A ''store path'' produced by a derivation. These are generally analogous to built packages, or pieces of them. | || A ''store path'' produced by a derivation. These are generally analogous to built packages, or pieces of them. | ||
<syntaxHighlight lang= | <syntaxHighlight lang=console> | ||
$ ls -ld /nix/store/*-firefox-9*/ | $ ls -ld /nix/store/*-firefox-9*/ | ||
dr-xr-xr-x ... /nix/store/v4b8...3d0w-firefox-92.0/ | dr-xr-xr-x ... /nix/store/v4b8...3d0w-firefox-92.0/ | ||
| Line 106: | Line 110: | ||
--> | --> | ||
|} | |} | ||
</translate> | |||
[[Category:Nix]] | |||