From 20e4c462f64e34ac514b62387e4da7996ac319d9 Mon Sep 17 00:00:00 2001 From: randogoth Date: Wed, 14 Oct 2026 12:03:02 +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 ahead of it appearing, 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 a305876..10aed57 100644 --- a/.gitignore +++ b/.gitignore @@ -32,6 +32,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