Skip to content

Add a configuration file #11

New issue
New issue
Open
Open
Add a configuration file#11
Labels
configurationTelling the program what to doenhancementNew feature or request thereforunder considerationDev has not yet decided whether or how to implement
@jwodder

Description

@jwodder
jwodder
opened on May 3, 2024

Configurable values:

  • Prompt format (Support custom prompt format templates #9)
    • Have the Git and non-Git portions of the prompt be configured separately?
  • Maximum display length of the current directory
  • Maximum display length of the Git HEAD
  • Color theme
  • User-defined color themes

Metadata

Metadata

Assignees

No one assigned

    Labels

    configurationTelling the program what to doenhancementNew feature or request thereforunder considerationDev has not yet decided whether or how to implement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions