8000 config: Add support for per-user customization `catkinrc` · Issue #261 · catkin/catkin_tools · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
config: Add support for per-user customization catkinrc #261
New issue
New issue
Open
Open
config: Add support for per-user customization catkinrc#261
Labels
enhancement
Milestone
 
0.5.0 - Optimization, Scalability, and Testing
@jbohren

Description

@jbohren
jbohren
opened on Dec 23, 2015

As the number of customization options grows, there's more need to set up configuration defaults. catkin_tools should read things like CLI behavior defaults from something like .config/catkin/catkinrc.yaml.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0