def preview_themes(): secho("Theme previews:", bold=True) echo() for name, template in THEMES.items(): echo('"{}" theme:'.format(name)) echo(format_prompt(template), nl=False) echo(" command arg1 arg2 ... argn") echo()
def list_themes(): secho("Available themes:", bold=True) echo(" ".join(THEMES.keys()))
SPEED_OPTION = click.option( "--speed", "-s", metavar="<int>", type=click.IntRange(1), default=1, help="Typing speed.", show_default=True, ) PROMPT_OPTION = click.option( "--prompt", "-p", metavar="<prompt_theme>", default="default", type=click.Choice(THEMES.keys()), help="Prompt theme.", show_default=True, ) ALIAS_OPTION = click.option("--alias", "-a", metavar="<alias>", multiple=True, help="Add a session alias.") ENVVAR_OPTION = click.option("--envvar", "-e", metavar="<envvar>", multiple=True, help="Adds a session variable.")
def list_themes(): secho('Available themes:', bold=True) echo(' '.join(THEMES.keys()))