Skip to content
This repository has been archived by the owner on Dec 8, 2020. It is now read-only.

Feature request: Optional configuration option to change "Create Playground" tmp directory #375

Open
nakato opened this issue Feb 18, 2018 · 0 comments

Comments

@nakato
Copy link

nakato commented Feb 18, 2018

Version of VSCode: 1.20.0
Version of the extension: 0.42
OS: Arch Linux

Description: Optional configuration option to change "Create Playground" tmp directory

Output of the "Rust logging" channel:
N/A

Problem:
On many Linux installations, /tmp is a tmpfs, and some people will run their systems without swap, or may already be heavily in swap. Placing the playgrounds in /tmp in these situations may result in system instability, such as OOMKiller being called, or other issues that only occour during extreme memory pressure.

To solve this without having to mount a device backed /tmp or creating a large swap partition I would like to be able to configure the directory that the create playground command uses place the playgrounds into.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant