Skip to content

Commit 94136ce

Browse files
Update links and step in Walkthrough
To use the new 'ada.openUsersGuide' command instead of wiki links. For eng/ide/als-publish#43
1 parent 1ae20f2 commit 94136ce

File tree

3 files changed

+12
-10
lines changed

3 files changed

+12
-10
lines changed

integration/vscode/ada/README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -63,9 +63,9 @@ Both tools are available for Linux, Windows and macOS (Intel and Apple silicon)
6363
## Documentation
6464

6565
* [Ada Language Server README.md: VS Code Extension](https://github.com/AdaCore/ada_language_server/blob/master/README.md#vs-code-extension)
66-
* [Tutorial: Using Ada in VS Code](https://github.com/AdaCore/ada_language_server/wiki/Getting-Started)
66+
* [Tutorial: Using Ada in VS Code](https://github.com/AdaCore/ada_language_server/blob/master/doc/Getting-Started.md)
6767
* [Supported refactoring tools](https://github.com/AdaCore/ada_language_server/blob/master/doc/refactoring_tools.md)
68-
* [Custom colors for Ada sources](https://github.com/AdaCore/ada_language_server/wiki/Custom-colors-in-VS-Code)
68+
* [Custom colors for Ada sources](https://github.com/AdaCore/ada_language_server/blob/master/doc/Custom-colors-in-VS-Code.md)
6969
* [Usage in a Remote container](https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/Code%20Samples/docker) example
7070
* [Code Samples](https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/Code%20Samples) with Build and Debug tasks
7171

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
1-
📖 Take a look at the following tutorials and demos from our [wiki](https://github.com/AdaCore/ada_language_server/wiki) to learn more about Ada & SPARK development in VS Code:
1+
📖 Explore the [Ada & SPARK VS Code extension User's Guide](command:toSide:ada.openUsersGuide) for comprehensive information on developing with Ada & SPARK in VS Code.
22

3-
* [Tutorial: Using Ada in VS Code](https://github.com/AdaCore/ada_language_server/wiki/Getting-Started)
4-
* [Auto detection Tasks video](https://github.com/AdaCore/ada_language_server/wiki/auto_detected_tasks.mp4)
5-
* [Custom colors in VS Code](https://github.com/AdaCore/ada_language_server/wiki/Custom-colors-in-VS-Code)
6-
* [Working in a Docker container](https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/Code%20Samples/docker)
7-
* [Working on a remote machine](https://github.com/AdaCore/ada_language_server/wiki/Working-on-a-remote-machine)
3+
You can also access up-to-date documentation in our [GitHub repository](https://github.com/AdaCore/ada_language_server):
4+
5+
* [Getting Started: Using Ada in VS Code](https://github.com/AdaCore/ada_language_server/blob/master/doc/Getting-Started.md)
6+
* [List of Supported Refactoring Tools](https://github.com/AdaCore/ada_language_server/blob/master/doc/refactoring_tools.md)
7+
* [Customizing Ada Source Colors](https://github.com/AdaCore/ada_language_server/blob/master/doc/Custom-colors-in-VS-Code.md)
8+
* [Running in a Remote Container](https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/Code%20Samples/docker) (example)
9+
* [Code Samples](https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/Code%20Samples) including Build and Debug tasks

integration/vscode/ada/package.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1476,8 +1476,8 @@
14761476
},
14771477
{
14781478
"id": "als-get-started-more-resources",
1479-
"title": "Tutorials and Demos",
1480-
"description": "",
1479+
"title": "Ada & SPARK Extension User's Guide",
1480+
"description": "Discover tutorials, demos, and useful resources in the extension's user guide.\n[Open User's Guide](command:toSide:ada.openUsersGuide)",
14811481
"media": {
14821482
"markdown": "media/more-resources.md"
14831483
}

0 commit comments

Comments
 (0)