Duy Nguyen <[email protected]> writes: > ... But those files > people generate manually and refer to them with $GIT_INDEX_FILE, we > can't know where they are.
Then we probably should stop doing that, i.e. disable split-index automatically for these temporary ones, perhaps, and even with Christian's series which allows use of split index on the primary one easier (which is a good idea), make sure we don't auto split the temporary ones the users create? > Timestamps allow us to say, ok this base index file has not been read > by anybody for N+ hours (or better, days), it's most likely not > referenced by any temporary index files (including > $GIT_DIR/index.lock) anymore because those files, by the definition of > "temporary", must be gone by now.... and if we guessed wrong, users will have a "temporary index" that they meant to keep for longer term that is now broken here. I am not sure if that risk is worth taking.
