docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

extensions tidy (#16513)

This commit is contained in:
Allie Sadler 2023-01-13 10:24:37 +00:00 committed by GitHub
parent 4782aa4915
commit 47c9478f2a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_data/toc.yaml
View File

@ -1164,7 +1164,7 @@ manuals:
- path: /desktop/extensions/
title: What are Docker Extensions?
- path: /desktop/extensions/marketplace/
title: Manage marketplace Extensions
title: Manage marketplace extensions
- path: /desktop/extensions/non-marketplace/
title: Manage non-Marketplace extensions
- path: /desktop/extensions/settings-feedback/

2
desktop/extensions/index.md
View File

@ -6,7 +6,7 @@ toc_min: 1
toc_max: 2
---
Docker Extensions lets you use third-party tools within Docker Desktop to extend its functionality.
Docker Extensions let you use third-party tools within Docker Desktop to extend its functionality.
You can seamlessly connect your favorite development tools to your application development and deployment workflows. Augment Docker Desktop with debugging, testing, security, and networking functionalities, and build custom add-ons using the Extensions [SDK](../extensions-sdk/index.md).