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.
danyreyna · Sep 1, 2023 · f46b393 · f46b393
1 parent 0124d73
commit f46b393
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/Documentation/BuildInstructionsOther.md b/Documentation/BuildInstructionsOther.md
@@ -39,6 +39,18 @@ or you can use the nix flake [`Toolchain/flake.nix`](../Toolchain/serenity.nix)
 nix develop Toolchain
 ```
 
+You can also save this environment to a profile:
+
+```
+nix develop Toolchain --profile Toolchain/nix-profiles/dev 
+```
+
+and resume later with:
+
+```
+nix develop Toolchain/nix-profiles/dev
+```
+
 ## Alpine Linux
 
 First, make sure you have enabled the `community` repository in `/etc/apk/repositories` and run `apk update`. It has been tested on `edge`, YMMV on `stable`.

diff --git a/Toolchain/.gitignore b/Toolchain/.gitignore
@@ -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/