diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-24 23:09:28 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-24 23:09:28 +0100 |
| commit | 104fad65daaa6ab103ba8815244afa8243421594 (patch) | |
| tree | 1318ecab53002e3bc0d61de25665ce3a146bde1f /.github/workflows | |
| parent | bff7307b8c4cc8577ea2a58b8438afc70aab2bea (diff) | |
| parent | c1d39571c9ac27c80ca2c1feb5dd53fc6f325b34 (diff) | |
Merge #5025
5025: Don't mess with messy temp dir and just download into extension dir r=matklad a=Veetaha
Temp dirs are messy. Dealing with them requires handling quite a bunch of
edge cases. As proposed by lnicola this seems better to just put the temp files
in the extension dir and not care much about suddenly leaving garbage.
Instead we get shorter and less platform-caveat-y code.
We will also assume users don't try to issue a download in different vscode windows simultaneously.
Fixes #5019
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions