You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/tools/vscode.md
+42Lines changed: 42 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -649,3 +649,45 @@ Themes
649
649
[One Dark Raincoat Light]: ../assets/raincoat-light.png
650
650
[Dolch Light]: ../assets/dolch-light.png
651
651
652
+
653
+
How-To
654
+
------
655
+
656
+
### Open a Repository
657
+
658
+
:::::{margin}
659
+
660
+
:::{note}
661
+
662
+
This how-to assumes you have already cloned the repository locally.
663
+
664
+
:::
665
+
666
+
:::::
667
+
668
+
1. Open a new VS Code window.
669
+
-**Using the keyboard shortcut**: {kbd}`⌃⇧N` (Windows/Linux) or {kbd}`⌘⇧N` (Mac).
670
+
-**Or from the top VS Code menu bar**: Select {guilabel}`File › New Window`.
671
+
2. Open the repository.
672
+
- If you have opened the repository at some point in the past, go to the
673
+
top VS Code Menu Bar and select {guilabel}`File › Open Recent` then
674
+
choose the repository you wish to open from the drop-down list.
675
+
- Otherwise, open the folder:
676
+
-**Using the Command Pallet**: Use {kbd}`⌃⇧P` (Windows/Linux) or {kbd}`⌘⇧P` (Mac) to open the command pallet, then use the {guilabel}`File: Open Folder...` command.
677
+
-**Or from the top VS Code menu bar**: Go to {guilabel}`File › Open Folder`.
678
+
- ::::{margin}
679
+
680
+
:::{caution}
681
+
682
+
Make sure you open the folder, not an individual file.
683
+
684
+
:::
685
+
686
+
:::::
687
+
Your system's Open File Dialog Box will appear. Navigate to the location of
688
+
the repository on your computer, select the folder , then click
689
+
{guilabel}`Open`.
690
+
3. Pull repository updates using git.
691
+
-**Using the Command Pallet**: Use {kbd}`⌃⇧P` (Windows/Linux) or {kbd}`⌘⇧P` (Mac) to open the command pallet, then use the {guilabel}`Git: Pull` command.
692
+
-**Or from the {guilabel}`Source Control` sidebar**: On the {guilabel}`Repositories` sub-header, click on the second icon from the left to pull.
693
+
-**Or from the terminal**: Open the terminal using {{ ctrltick }} then type `git pull`.
0 commit comments