From f46b393d2d9de57d9a90cb3e5f323abb9fe8747a Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Thu, 31 Aug 2023 15:29:27 +0100
Subject: [PATCH] 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.
---
 Documentation/BuildInstructionsOther.md | 12 ++++++++++++
 Toolchain/.gitignore                    |  2 ++
 2 files changed, 14 insertions(+)

diff --git a/Documentation/BuildInstructionsOther.md b/Documentation/BuildInstructionsOther.md
index 4976e4f3d6c..c75e24d3752 100644
--- 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
index b4441196e5a..0c03c2bec2a 100644
--- 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/