Skip to content

Conversation

@tresende
Copy link

@tresende tresende commented Feb 5, 2024

Sometimes, it can be a bit inconvenient to work with a non-root directory open in VSCode (in this case, /workspace), as some functionalities, such as search, terminal and replace, don't work ideally. Would it be interesting to consider adding support for the workspace feature in VSCode? This way, the terminal would open in the root directory, while the visible directories would be limited to "/playground," significantly optimizing the workshop experience

Screen Recording 2024-02-04 at 9 34 08 PM

@kentcdodds
Copy link
Member

Thanks for showing me this! I was unaware of this feature. Sorry it took me so long to respond. I wanted to be sure to try it first.

I appreciate you taking the time to put this together, however, I won't be merging it. The fact that the terminal opens to the root is problematic because there are some commands in some workshops which you really need to run in the playground directory and others you need to run in the root.

Additionally, this is something people will have to be taught to use, whereas simply opening another instance of VSCode (or their editor of choice) in the playground directory I think is pretty straightforward.

Sometimes, it can be a bit inconvenient to work with a non-root directory open in VSCode (in this case, /workspace), as some functionalities, such as search, terminal and replace, don't work ideally.

First, I'm guessing you meant /playground rather than /workspace. I want to be certain that you know that you should be opening an instance of VSCode for the /playground directory. This will resolve all the issues you've been having.

Thanks again for taking the time! I hope you're enjoying the workshops!

@kentcdodds kentcdodds closed this Feb 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants