Need a command to delete and regenerate snapshot text

[tribbloid]

Is your feature request related to a problem? Please describe.

yes, a metals bug: #7064

Describe the solution you'd like

The metals server frequently give the following error message:

2024.12.25 17:47:45 INFO  compiling core (94 scala sources)
2024.12.25 17:47:49 INFO  time: compiled core in 3.81s
2024.12.25 17:48:00 WARN  Could not load snapshot text for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala
2024.12.25 18:00:23 WARN  Could not load snapshot text for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala
2024.12.25 18:00:23 WARN  Could not load snapshot text for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala
2024.12.25 18:00:23 WARN  Could not load snapshot text for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala
2024.12.25 18:00:23 WARN  Could not load snapshot text for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala
2024.12.25 18:00:53 WARN  Could not load snapshot text for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala

this is problematic, snapshot text should be generated from source code, either manually or automatically

Describe alternatives you've considered

N/A

Additional context

No response

Search terms

snapshot text, metals

[tgodzik]

That's not possible, since the snapshot text relates to previously compiled piece of code, but we should rethink how this is reported and what fallbacks should be used in that case.

[tgodzik]

Ach, looks like with the new scope this is a duplicate of #7064