Skip to content

Updated Terminal #10

@ZhengLinLei

Description

@ZhengLinLei

Now you can use our inner terminal to configure the edito. Customise your editor as you want it. You can use !help to get more information.

Screenshot 2023-01-02 at 22 29 46

Screenshot 2023-01-02 at 22 29 57

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentation

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions