rhythmic-branch-12845
04/10/2024, 3:44 AM~/.pulumi/workspaces/
safe to delete? it looks like the format of the files is "name of project"-"string of chars"-workspace.json. e.g. vpc-9edd982f30fc5e348d29c20bef5af10490f341be-workspace.json
. Thing is, I have 3 files in there; but way more projects than that. And I see at least one file in there that is tied to a project that I just deleted. So:
• what are these files for and are they actually used?
• can they be deleted safely?little-cartoon-10569
04/10/2024, 4:30 AMlittle-cartoon-10569
04/10/2024, 4:31 AMpulumi login
again. But you don't ever need to keep those files.rhythmic-branch-12845
04/10/2024, 5:38 AMcredentials.json
is obvious. I am specifically asking about the files in .pulumi/workspaces/
rhythmic-branch-12845
04/10/2024, 5:39 AM~/.pulumi/workspaces
is up to me?little-cartoon-10569
04/10/2024, 7:45 PM