lean_ctx/setup/
options.rs

1#[derive(Debug, Clone, Copy, Default)]
2pub struct SetupOptions {
3    pub non_interactive: bool,
4    pub yes: bool,
5    pub fix: bool,
6    pub json: bool,
7    pub no_auto_approve: bool,
8    pub skip_proxy: bool,
9    pub skip_rules: bool,
10    /// Explicitly request rules injection (overrides config).
11    pub force_inject_rules: bool,
12}

lean_ctx/setup/options.rs

lean_ctx/setup/
options.rs