randogoth/muzzle-velocity
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

chore: ignore Flutter DevTools' local options file

Browse source 
DevTools writes devtools_options.yaml into a checkout the first time it runs.
It records which DevTools extensions are enabled on this machine, nothing
about the project, so it differs per checkout and is no use to anyone else.
Ignored rather than committed because under jj, which tracks new files
automatically, being ignored is the only way a file stays out of the next
commit on its own.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
randogoth 2026-10-14 12:04:11 +03:00
parent 7b5619cb0d
commit 664130cb82
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.gitignore vendored
View file

@ -33,6 +33,11 @@ migrate_working_dir/
.pub/
/build/
# Flutter DevTools writes this into a checkout the first time it runs. It
# holds local tool state (which DevTools extensions are enabled), not project
# configuration, so it differs per machine and belongs to nobody else.
devtools_options.yaml
# Symbolication related
app.*.symbols