search

creusot-rs / creusot-ide

2 stars 0 forks source link

dev: Remove settings.json #5

Closed Lysxia closed 1 day ago

Lysxia commented 1 day ago

I just use my global switch and my directory isn't named creusot-ide (too long). I wonder if there is a way to have a repo-specific settings.json together with a user-specific one.

xldenis commented 1 day ago

I think vscode does actually have a notion of "local" settings on top of git-workspace ones.