forked from MicrosoftDocs/terminal
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.openpublishing.redirection.json
34 lines (34 loc) · 1.29 KB
/
.openpublishing.redirection.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
{
"redirections": [
{
"source_path": "TerminalDocs/customize-settings/key-bindings.md",
"redirect_url": "/windows/terminal/customize-settings/actions",
"redirect_document_id": true
},
{
"source_path": "TerminalDocs/customize-settings/global-settings.md",
"redirect_url": "/windows/terminal/customize-settings/startup",
"redirect_document_id": true
},
{
"source_path": "TerminalDocs/customize-settings/profile-settings.md",
"redirect_url": "/windows/terminal/customize-settings/profile-general",
"redirect_document_id": true
},
{
"source_path": "TerminalDocs/get-started.md",
"redirect_url": "/windows/terminal/install",
"redirect_document_id": true
},
{
"source_path": "TerminalDocs/tutorials/powerline-setup.md",
"redirect_url": "/windows/terminal/tutorials/custom-prompt-setup",
"redirect_document_id": true
},
{
"source_path": "TerminalDocs/custom-terminal-gallery/powerline-in-powershell.md",
"redirect_url": "/windows/terminal/tutorials/custom-prompt-setup",
"redirect_document_id": false
}
]
}