From d3809f93a77206d99ae102c586c077b453961a0e Mon Sep 17 00:00:00 2001 From: randogoth Date: Wed, 14 Oct 2026 12:04:23 +0300 Subject: [PATCH] chore: ignore Flutter DevTools' local options file 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) --- .gitignore | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.gitignore b/.gitignore index c833c63..ee4970d 100644 --- a/.gitignore +++ b/.gitignore @@ -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