mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 02:37:36 +00:00
Toolchain: Add Toolchain/nix-profiles/ to .gitignore
Let users save their nix develop derivation in a profile by ignoring this specific folder. It encourages the following workflow: ``` nix develop Toolchain/ --profile Toolchain/nix-profiles/dev ``` Which stops the dev enviornment being collected in the nix store. Later devs can come back and do: ``` nix develop Toolchain/nix-profiles/dev ``` To continue where they left off, without having to download everything from nixpkgs again.
This commit is contained in:
parent
0124d731ce
commit
f46b393d2d
2 changed files with 14 additions and 0 deletions
2
Toolchain/.gitignore
vendored
2
Toolchain/.gitignore
vendored
|
@ -3,3 +3,5 @@ config-temp
|
|||
config.log
|
||||
# For caching the entire toolchain (useful on Travis)
|
||||
Cache/
|
||||
# Nix profiles can be stored here
|
||||
nix-profiles/
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue