Python ConfigManager.add_categoryの例

コード例 #1

ファイル: Config.py プロジェクト: ai-codex/plastex

import os
from plasTeX.ConfigManager import *

config = ConfigManager()

section = config.add_section("gerby")

config.add_category("gerby", "Gerby renderer options")

section["tags"] = StringOption(
  """Location of the tags file""",
  options = "--tags",
  category = "gerby",
  default = "tags",
)

コード例 #2

from plasTeX.ConfigManager import *
from plasTeX.DOM import Node

config = ConfigManager()

section = config.add_section('html5')

config.add_category('html5', 'Html5 renderer Options')

section['extra-css'] = MultiOption(
    """ Extra css files to use """,
    options='--extra-css',
    category='html5',
    default='',
)

section['extra-js'] = MultiOption(
    """ Extra javascript files to use """,
    options='--extra-js',
    category='html5',
    default='',
)

section['theme-css'] = StringOption(
    """ Theme css file""",
    options='--theme-css',
    category='html5',
    default='green',
)

section['use-theme-css'] = BooleanOption(

コード例 #3

ファイル: Config.py プロジェクト: PatrickMassot/plastex

import os
from plasTeX.ConfigManager import *
from plasTeX.DOM import Node

config = ConfigManager()

section = config.add_section('html5')

config.add_category('html5', 'Html5 renderer Options')

section['extra-css'] = MultiOption(
    """ Extra css files to use """,
    options='--extra-css',
    category='html5',
    default='',
)

section['extra-js'] = MultiOption(
    """ Extra javascript files to use """,
    options='--extra-js',
    category='html5',
    default='',
)

section['theme-css'] = StringOption(
    """ Theme css file""",
    options='--theme-css',
    category='html5',
    default='green',
)