Skip to content
This repository has been archived by the owner on Oct 28, 2022. It is now read-only.

enhance prompt docs #180

Merged
merged 11 commits into from
Oct 21, 2020
Merged

enhance prompt docs #180

merged 11 commits into from
Oct 21, 2020

Conversation

hellt
Copy link
Collaborator

@hellt hellt commented Oct 19, 2020

@karimra here are my edits on the prompt docs;
I propose to scope out examples to a separate page which I intend to put under advanced_usage/prompt_and_auto-completion where I describe in details how it works and provide animations

docs/cmd/prompt.md Show resolved Hide resolved
docs/cmd/prompt.md Outdated Show resolved Hide resolved
docs/cmd/prompt.md Outdated Show resolved Hide resolved
docs/advanced/prompt_suggestions.md Outdated Show resolved Hide resolved
docs/advanced/prompt_suggestions.md Outdated Show resolved Hide resolved
docs/advanced/prompt_suggestions.md Outdated Show resolved Hide resolved
docs/advanced/prompt_suggestions.md Outdated Show resolved Hide resolved
docs/advanced/prompt_suggestions.md Outdated Show resolved Hide resolved
docs/advanced/prompt_suggestions.md Outdated Show resolved Hide resolved
docs/cmd/prompt.md Outdated Show resolved Hide resolved
docs/cmd/prompt.md Outdated Show resolved Hide resolved
docs/cmd/prompt.md Outdated Show resolved Hide resolved
docs/cmd/prompt.md Outdated Show resolved Hide resolved
@hellt hellt requested a review from karimra October 21, 2020 08:48
@karimra karimra merged commit 1ca2aa4 into docs-prompt Oct 21, 2020
@karimra karimra deleted the promt-docs-enhancements branch October 22, 2020 12:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants