#Indexing location
1 messages · Page 1 of 1 (latest)
It is stored locally on disk. It’s not super easy to share right now but should just be a 1-time indexing cost for each user. We are working on remote indexing for Teams that will improve the experience for companies with many users using the same (potentially large) repo
The problem that I see is, that we use Gitpod. So our local disk is ephemeral. We would then need to index it every time. @ripe pine
Ah I see, looping in @tawny elbow. So there’s no way to provide persistent storage across sessions with gitpod?