Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Terminal getting started tutorial #7390

Merged
merged 9 commits into from
Jun 20, 2024
Merged

Conversation

ntrogh
Copy link
Contributor

@ntrogh ntrogh commented Jun 20, 2024

Fixes #7360

@ntrogh ntrogh requested a review from Tyriar June 20, 2024 08:39
@ntrogh ntrogh self-assigned this Jun 20, 2024
@ntrogh ntrogh added the doc-enhancement suggested addition or improvement label Jun 20, 2024
docs/terminal/getting-started.md Outdated Show resolved Hide resolved
docs/terminal/getting-started.md Outdated Show resolved Hide resolved
Comment on lines 75 to 81
Get-ChildItem *.txt | Select-String "dir"
```

* Bash

```bash
grep -n "dir" *.txt
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should these use Command.txt explicitly? There may be other .txt files

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's not needed but its a quick way to set the user up for success in this tutorial. Unless we get people to download some predefined repo, we don't know what files are available. And then we'd need to provide a more vague search grep -n <some text> <your files>.

docs/terminal/getting-started.md Outdated Show resolved Hide resolved
docs/terminal/images/getting-started/close-terminal.png Outdated Show resolved Hide resolved
docs/terminal/images/getting-started/move-terminal.png Outdated Show resolved Hide resolved
docs/terminal/images/getting-started/terminal-list.png Outdated Show resolved Hide resolved
@ntrogh ntrogh merged commit 9f6f5c8 into vnext Jun 20, 2024
2 checks passed
@ntrogh ntrogh deleted the terminal-getting-started branch June 20, 2024 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc-enhancement suggested addition or improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants