From 664130cb827c29d580d9941ffbe6653c566d762f Mon Sep 17 00:00:00 2001 From: randogoth Date: Wed, 14 Oct 2026 12:04:11 +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 b96512b..5c40fa0 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