Commit e965cfd
authored
[RFC] move gitignore file to .devbox directory and ignore gen/profile/shell_history (#215)
## Summary
With the recent use of nix-profile, the `profile` symlinks are showing
up in git history.
This is regrettable.
This PR adds a `.gitignore` file to `.devbox` directory and ignoring the
`gen/`, `profile*`
, `nix-profile` and `shell-history` symlinks.
Going forward, we should avoid editing this file. Each edit will need to
be checked
in by our users. So, this PR is a breaking change, in a sense.
New features we add that generate files in `.devbox` should be added
inside `gen/`
if they want to be gitignored.
New features that we do want users to check in (like a lock file) can be
placed
in `.devbox/` (and not `.devbox/gen`).
## How was it tested?
in a new devbox project, with `git init` and initial files already
committed:
- did `devbox shell` to generate the gitignore and other files
- did `git status` to inspect changes and found no new file changes were
reported.
- did `ls -al .devbox` and saw the other files (like gen/ and profile*
were generated) as well as `.devbox/.gitignore`.1 parent 8f7f0c0 commit e965cfd
2 files changed
+11
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
23 | | - | |
24 | | - | |
| 23 | + | |
| 24 | + | |
25 | 25 | | |
26 | 26 | | |
27 | 27 | | |
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
36 | 44 | | |
37 | 45 | | |
38 | 46 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
0 commit comments