On Monday, August 19, 2024, Koichi Murase <myoga.mur...@gmail.com> wrote: > > One can put "<filename pattern> diff=no" in .git/info/attributes to > ignore these files in `git diff'.
This is a very good idea. Marking auto-generated files as binary in /.gitattributes would address OP's concerns without changing how Bash is built. -- Oğuz
