Skip to content

Commit e1c258f

Browse files
committed
Small changes for gitpod / VS Code integration
Add subprojects/ to the .gitignore. Open the welcome message in the editor. Fix a typo in the welcome message.
1 parent 338cc01 commit e1c258f

File tree

3 files changed

+5
-2
lines changed

3 files changed

+5
-2
lines changed

.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -99,3 +99,6 @@ integration/vscode/ada/linux/
9999

100100
# GNAT Studio clangd options
101101
.clang-format
102+
103+
# Subprojects
104+
subprojects/

.gitpod.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ tasks:
1010
git -C subprojects clone https://github.com/AdaCore/VSS.git
1111
git -C subprojects clone https://github.com/AdaCore/spawn.git
1212
git -C subprojects clone https://github.com/AdaCore/libadalang-tools.git
13-
gp open doc/gitpod.md
13+
code doc/gitpod.md
1414
echo make LIBRARY_TYPE=static
1515
1616
vscode:

doc/gitpod.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ In a gidpod session you can:
1616
menu
1717
* start debugger with `/Debug/Start Debugging` menu (or `F5`)
1818

19-
The aditor has a lot of commands build in. Press `F1` to search a command.
19+
The editor has a lot of commands built in. Press `F1` to search a command.
2020

2121
By default the editor is configured for the `gnat/lsp_server.gpr` project.
2222
You can switch the project by changing `/File/Settings/Open Preferences` or

0 commit comments

Comments
 (0)