OXYGENHUB
◆ v0.4.0 oxygen / src / cli / mod.rs
50.0 KiB · Rust · last changed Revsets: trust predicates, and -r on show, verify and abandon 1 month ago source blame history raw
fce44ae9 Andy McCall ↶ 1
//! Command-line definitions and dispatch.
2
ff1f62fe Andy McCall ↶ 3
mod auth;
fce44ae9 Andy McCall ↶ 4
mod format;
75167672 Andy McCall 5
mod identity;
c6aa5bd9 Andy McCall ↶ 6
mod json;
d82e4409 Andy McCall ↶ 7
mod proposal;
fc1a466a Andy McCall ↶ 8
mod receipt;
fce44ae9 Andy McCall ↶ 9
mod sync;
135212de Andy McCall ↶ 10
pub mod ui;
fce44ae9 Andy McCall ↶ 11
mod workspace;
12
13
use anyhow::{Context, Result};
14
use clap::{Parser, Subcommand};
15
use oxy_core::repo::Repo;
16
use std::path::PathBuf;
17
18
#[derive(Parser)]
75167672 Andy McCall 19
#[command(
20
    name = "oxy",
e293c90d Andy McCall ↶ 21
    version = env!("OXY_VERSION_LONG"),
75167672 Andy McCall 22
    about = "Oxygen: breathing fresh air into version control"
23
)]
fce44ae9 Andy McCall ↶ 24
struct Cli {
135212de Andy McCall ↶ 25
    /// Plain output: no colour, no spinner (also implied by NO_COLOR or a non-terminal)
26
    #[arg(long, global = true)]
27
    plain: bool,
98a1620a Andy McCall ↶ 28
    /// Read the repository as it was after operation OP (an ID from oxy op log, @ or @-); commands that would change it are refused
29
    #[arg(long, global = true, value_name = "OP")]
30
    at_op: Option<String>,
fce44ae9 Andy McCall ↶ 31
    #[command(subcommand)]
32
    cmd: Cmd,
33
}
34
98a1620a Andy McCall ↶ 35
/// `--at-op`, for `open` to apply.
36
static AT_OP: std::sync::OnceLock<Option<String>> = std::sync::OnceLock::new();
37
fce44ae9 Andy McCall ↶ 38
#[derive(Subcommand)]
39
enum Cmd {
40
    /// Create a repository in PATH (default: current directory)
e02bf0cd Andy McCall ↶ 41
    Init {
d42369ab Andy McCall 42
        /// Directory to create the repository in (default: the current directory)
e02bf0cd Andy McCall ↶ 43
        path: Option<PathBuf>,
44
        /// No working copy: an object store and references only, for hosting
45
        #[arg(long)]
46
        bare: bool,
47
    },
fce44ae9 Andy McCall ↶ 48
    /// Clone a repository from a local path or an http(s) URL
b3c5a59a Andy McCall ↶ 49
    Clone {
d42369ab Andy McCall 50
        /// Local path or http(s) URL of the repository
b3c5a59a Andy McCall ↶ 51
        url: String,
d42369ab Andy McCall 52
        /// Directory to clone into (default: the last part of the URL)
b3c5a59a Andy McCall ↶ 53
        dest: Option<PathBuf>,
54
        /// Leave blobs larger than this (e.g. 1M) to be fetched on first read
55
        #[arg(long)]
56
        max_blob: Option<String>,
7421309f Andy McCall ↶ 57
        /// Materialize only these paths (repeatable); implies lazy blobs
58
        #[arg(long = "sparse")]
59
        sparse: Vec<String>,
2863456a Andy McCall ↶ 60
        /// Shallow clone: fetch only this many levels of history below the heads
61
        #[arg(long)]
62
        depth: Option<u32>,
14edbaaf Andy McCall ↶ 63
        /// Clone the subrepos too (as oxy submodule update --init)
64
        #[arg(long)]
65
        recursive: bool,
b3c5a59a Andy McCall ↶ 66
    },
2863456a Andy McCall ↶ 67
    /// Fetch more history below a shallow clone's boundary
68
    Deepen {
d42369ab Andy McCall 69
        /// Levels of history to add below the boundary
2863456a Andy McCall ↶ 70
        #[arg(default_value_t = 10)]
71
        depth: u32,
d42369ab Andy McCall 72
        /// Remote to fetch the history from
2863456a Andy McCall ↶ 73
        #[arg(long, default_value = "origin")]
74
        remote: String,
75
    },
7421309f Andy McCall ↶ 76
    /// Show or set the sparse filter (paths to materialize); re-checks out the bookmark
d42369ab Andy McCall 77
    Sparse {
78
        /// Paths to materialize; none prints the current filter
79
        paths: Vec<String>,
80
    },
fce44ae9 Andy McCall ↶ 81
    /// Show the working copy: changed paths and conflicts
50a046e4 Andy McCall ↶ 82
    Status {
83
        /// Machine-readable output: paths, and every conflict with its kind and contributing changes
84
        #[arg(long)]
85
        json: bool,
86
    },
135212de Andy McCall ↶ 87
    /// One-line summary for shell prompts; fast and records nothing
88
    Prompt {
694805cc Andy McCall ↶ 89
        /// Placeholders: %b bookmark, %c change id, %h heads, %d dirty (*), %x conflict (!), %A/%D ahead/behind (+n/-n), %a/%B raw counts, %s state glyph, %U/%O ahead/behind arrows, %i icon
135212de Andy McCall ↶ 90
        #[arg(long, default_value = oxy_core::repo::DEFAULT_PROMPT_FORMAT)]
91
        format: String,
694805cc Andy McCall ↶ 92
        /// Glyph format (%i %b %c %s%U%O) instead of the plain default
93
        #[arg(long)]
94
        glyphs: bool,
95
        /// Colour by state (cyan clean, yellow dirty, red conflicted): raw escapes, or guarded for a bash or zsh PS1
96
        #[arg(long, value_parser = ["raw", "bash", "zsh"])]
97
        color: Option<String>,
135212de Andy McCall ↶ 98
    },
fce44ae9 Andy McCall ↶ 99
    /// Record the working copy as a change on the current bookmark
100
    Commit {
d42369ab Andy McCall 101
        /// The change's message: a subject line, then optionally a blank line and a body
6a81dbab Andy McCall ↶ 102
        #[arg(short, long, required_unless_present = "file", conflicts_with = "file")]
103
        message: Option<String>,
104
        /// Read the message from FILE (`-` for standard input)
105
        #[arg(short = 'F', long, value_name = "FILE")]
106
        file: Option<PathBuf>,
fce44ae9 Andy McCall ↶ 107
        /// Extra explicit dependencies (ChangeId prefix, #hash prefix)
108
        #[arg(long = "depends-on")]
109
        depends_on: Vec<String>,
957fee30 Andy McCall ↶ 110
        /// Commit only these paths; the rest stays as uncommitted work
111
        paths: Vec<String>,
112
        /// Choose hunks one by one
113
        #[arg(short, long)]
114
        interactive: bool,
c6aa5bd9 Andy McCall ↶ 115
        /// Commit these hunks (as `oxy hunks` numbers them), comma separated
116
        #[arg(long, value_delimiter = ',')]
117
        hunks: Vec<usize>,
fce44ae9 Andy McCall ↶ 118
    },
728da0f9 Andy McCall ↶ 119
    /// Fold CHANGE into one of its dependencies (keeps that change's id)
120
    Squash {
d42369ab Andy McCall 121
        /// The change to fold (ChangeId prefix, #hash prefix)
728da0f9 Andy McCall ↶ 122
        change: String,
d42369ab Andy McCall 123
        /// The dependency that absorbs it
728da0f9 Andy McCall ↶ 124
        #[arg(long)]
125
        into: String,
126
    },
127
    /// Re-express CHANGE against another base state
128
    Rebase {
d42369ab Andy McCall 129
        /// The change to re-express (ChangeId prefix, #hash prefix)
728da0f9 Andy McCall ↶ 130
        change: String,
131
        /// The changes, bookmark or tag whose state becomes the new base
132
        #[arg(long, required = true, num_args = 1..)]
133
        onto: Vec<String>,
e266b7d4 Andy McCall ↶ 134
        /// Where the rebase would be conflicted, merge the target into the
135
        /// current bookmark instead, leaving the conflict in the working
136
        /// copy to fix and commit
137
        #[arg(long)]
138
        into_working_copy: bool,
728da0f9 Andy McCall ↶ 139
    },
957fee30 Andy McCall ↶ 140
    /// Show which change introduced each line of a file
141
    Blame {
d42369ab Andy McCall 142
        /// File to annotate, relative to the repository root
957fee30 Andy McCall ↶ 143
        path: String,
d42369ab Andy McCall 144
        /// Machine-readable output: one JSON document on stdout
957fee30 Andy McCall ↶ 145
        #[arg(long)]
146
        json: bool,
147
    },
148
    /// Find the change that introduced a regression
149
    Bisect {
150
        #[command(subcommand)]
151
        cmd: BisectCmd,
152
    },
fce44ae9 Andy McCall ↶ 153
    /// List changes reachable from the bookmark and the working copy
94084087 Andy McCall ↶ 154
    Log {
47ce8b8e Andy McCall ↶ 155
        /// Show the changes a revset selects: `main..feature & author(andy)`,
156
        /// `touches("src/**") & date(-7d..)` (see docs/revset_query_language.md)
157
        #[arg(short = 'r', long, value_name = "REVSET", conflicts_with_all = ["path", "lines"])]
158
        revset: Option<String>,
94084087 Andy McCall ↶ 159
        /// Show at most this many changes
160
        #[arg(short = 'n', long)]
161
        limit: Option<usize>,
162
        /// Show full messages, dependencies, and signatures
163
        #[arg(short, long)]
164
        verbose: bool,
c6aa5bd9 Andy McCall ↶ 165
        /// Only changes touching this path (renames followed)
166
        #[arg(long)]
167
        path: Option<String>,
83d61e80 Andy McCall ↶ 168
        /// Only changes that wrote or deleted lines START to END of PATH
169
        /// (numbered as in the working copy's base), or deleted lines from
170
        /// between them: the history of a function
171
        #[arg(short = 'L', value_name = "START,END:PATH", conflicts_with = "path")]
172
        lines: Option<String>,
d42369ab Andy McCall 173
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 174
        #[arg(long)]
175
        json: bool,
94084087 Andy McCall ↶ 176
    },
fce44ae9 Andy McCall ↶ 177
    /// Show what the working copy changes against its base
c6aa5bd9 Andy McCall ↶ 178
    Diff {
179
        /// A change instead of the working copy
180
        change: Option<String>,
d42369ab Andy McCall 181
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 182
        #[arg(long)]
183
        json: bool,
184
    },
185
    /// Print a file as it is in a state (default: the working copy's base)
186
    Cat {
d42369ab Andy McCall 187
        /// File to print, relative to the repository root
c6aa5bd9 Andy McCall ↶ 188
        path: String,
189
        /// A change, bookmark, or tag
190
        #[arg(short = 'r', long)]
191
        change: Option<String>,
192
    },
193
    /// Print the repository root, workspace, and bookmark
194
    Root {
d42369ab Andy McCall 195
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 196
        #[arg(long)]
197
        json: bool,
198
    },
199
    /// Print the version of oxy, its repository format, and protocol
200
    Version {
d42369ab Andy McCall 201
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 202
        #[arg(long)]
203
        json: bool,
204
    },
205
    /// Restore paths to the working copy's base, or undo chosen hunks
206
    Discard {
d42369ab Andy McCall 207
        /// Paths to restore; none with --hunks, or everything with neither
c6aa5bd9 Andy McCall ↶ 208
        paths: Vec<String>,
209
        /// Hunk indices as `oxy hunks` numbers them, comma separated
210
        #[arg(long, value_delimiter = ',')]
211
        hunks: Vec<usize>,
212
    },
213
    /// List the working copy's hunks, numbered as commit --hunks expects
214
    Hunks {
d42369ab Andy McCall 215
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 216
        #[arg(long)]
217
        json: bool,
218
    },
6a81dbab Andy McCall ↶ 219
    /// With -m, change the message of a head; without, name the working
220
    /// copy for a build: its tag, or the nearest tag plus distance and
221
    /// change, or the bookmark and change, and -dirty
614541c3 Andy McCall ↶ 222
    Describe {
d42369ab Andy McCall 223
        /// The new message
614541c3 Andy McCall ↶ 224
        #[arg(short, long)]
6a81dbab Andy McCall ↶ 225
        message: Option<String>,
d42369ab Andy McCall 226
        /// The head to describe (default: the one the working copy sits on)
614541c3 Andy McCall ↶ 227
        change: Option<String>,
6a81dbab Andy McCall ↶ 228
        /// Machine-readable output (naming only)
229
        #[arg(long, conflicts_with = "message")]
230
        json: bool,
614541c3 Andy McCall ↶ 231
    },
23b217d7 Andy McCall ↶ 232
    /// Fold the working copy into the head it sits on, or into CHANGE with --into
614541c3 Andy McCall ↶ 233
    Amend {
d42369ab Andy McCall 234
        /// Replace the message too
614541c3 Andy McCall ↶ 235
        #[arg(short, long)]
236
        message: Option<String>,
23b217d7 Andy McCall ↶ 237
        /// Amend an older change; the edits must touch only lines it already knows
238
        #[arg(long)]
239
        into: Option<String>,
614541c3 Andy McCall ↶ 240
    },
23b217d7 Andy McCall ↶ 241
    /// Split a head: the named paths become a separate first change
d42369ab Andy McCall 242
    Split {
243
        /// The head to split
244
        change: String,
245
        /// Paths whose edits become the first change
246
        paths: Vec<String>,
247
    },
2c9ddac3 Andy McCall ↶ 248
    /// Drop a change from the bookmark; its content stays on disk as uncommitted work
d42369ab Andy McCall 249
    Abandon {
2c9ddac3 Andy McCall ↶ 250
        /// The change to drop (ChangeId prefix, #hash prefix)
251
        #[arg(required_unless_present = "revset")]
252
        change: Option<String>,
253
        /// Drop every change a revset selects, newest first
254
        #[arg(short = 'r', long, value_name = "REVSET", conflicts_with = "change")]
255
        revset: Option<String>,
256
        /// Drop more than five changes without asking
257
        #[arg(long, short = 'y')]
258
        yes: bool,
d42369ab Andy McCall 259
    },
2c9ddac3 Andy McCall ↶ 260
    /// Show one change (ChangeId prefix, #hash prefix, or @), or those a revset selects
c6aa5bd9 Andy McCall ↶ 261
    Show {
d42369ab Andy McCall 262
        /// ChangeId prefix, #hash prefix, or @ for the working copy
2c9ddac3 Andy McCall ↶ 263
        #[arg(required_unless_present = "revset")]
264
        change: Option<String>,
265
        /// Show every change a revset selects
266
        #[arg(short = 'r', long, value_name = "REVSET", conflicts_with = "change")]
267
        revset: Option<String>,
d42369ab Andy McCall 268
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 269
        #[arg(long)]
270
        json: bool,
271
    },
fce44ae9 Andy McCall ↶ 272
    /// Move the working copy to the state formed by CHANGE... (default: the bookmark heads)
273
    Checkout {
d42369ab Andy McCall 274
        /// Changes whose state to check out (default: the bookmark heads)
fce44ae9 Andy McCall ↶ 275
        changes: Vec<String>,
276
        /// Throw away uncommitted working-copy changes
277
        #[arg(long)]
278
        discard: bool,
1c2bd9ab Andy McCall ↶ 279
        /// Take uncommitted changes along; refused when the target has
280
        /// other versions of the files they touch
281
        #[arg(long, conflicts_with = "discard")]
282
        carry: bool,
fce44ae9 Andy McCall ↶ 283
    },
284
    /// Report which conflicts of the working copy's base are resolved by the current files
c6aa5bd9 Andy McCall ↶ 285
    Resolve {
d42369ab Andy McCall 286
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 287
        #[arg(long)]
288
        json: bool,
289
    },
fce44ae9 Andy McCall ↶ 290
    /// Undo the last operation
291
    Undo,
252e8cb2 Andy McCall ↶ 292
    /// Write a checkpoint of the current bookmark's state now
293
    Checkpoint,
d42369ab Andy McCall 294
    /// Print a shell completion script: `oxy completions bash > ~/.local/share/bash-completion/completions/oxy`
295
    Completions {
296
        /// bash, zsh, fish, elvish or powershell
297
        shell: clap_complete::Shell,
298
    },
299
    /// Write man pages (oxy.1 and one per command) into DIR, or print oxy.1
300
    Man {
301
        /// Directory to write every page into, e.g. ~/.local/share/man/man1
302
        #[arg(long)]
303
        dir: Option<PathBuf>,
304
    },
3e5772cc Andy McCall ↶ 305
    /// Check the identity, configuration and remotes, and say what to do about any problem
306
    Doctor {
307
        /// Do not contact the remotes
308
        #[arg(long)]
309
        offline: bool,
d42369ab Andy McCall 310
        /// Machine-readable output: one JSON document on stdout
3e5772cc Andy McCall ↶ 311
        #[arg(long)]
312
        json: bool,
313
    },
387335ff Andy McCall ↶ 314
    /// Check the repository's integrity: objects, operation log, references, signatures, checkpoints
315
    Fsck {
d42369ab Andy McCall 316
        /// Machine-readable output: one JSON document on stdout
387335ff Andy McCall ↶ 317
        #[arg(long)]
318
        json: bool,
319
    },
da652d63 Andy McCall ↶ 320
    /// Prune unreachable objects older than the grace period and repack everything into one pack
ba160f60 Andy McCall ↶ 321
    Gc {
322
        /// Ignore the grace period (core.gc-grace) and prune immediately
323
        #[arg(long)]
324
        now: bool,
d8d93678 Andy McCall ↶ 325
        /// Instead: fold the bundles of a remote kept on a store into one, and remove the ones a gc superseded 7 days ago (or now, with --now)
326
        #[arg(long, value_name = "NAME")]
327
        remote: Option<String>,
ba160f60 Andy McCall ↶ 328
    },
fce44ae9 Andy McCall ↶ 329
    /// List operations
330
    #[command(name = "op")]
331
    Op {
332
        #[command(subcommand)]
333
        cmd: OpCmd,
334
    },
cdb5beba Andy McCall ↶ 335
    /// Take the advisory local lock on a lockable file, making it writable
d42369ab Andy McCall 336
    Lock {
337
        /// The lockable file
338
        path: String,
339
    },
cdb5beba Andy McCall ↶ 340
    /// Release the local lock and make the file read-only again
d42369ab Andy McCall 341
    Unlock {
342
        /// The locked file
343
        path: String,
344
    },
4e88e774 Andy McCall ↶ 345
    /// Workspaces: extra checkout directories sharing this repository
346
    Workspace {
347
        #[command(subcommand)]
348
        cmd: WorkspaceCmd,
349
    },
7b9809e6 Andy McCall ↶ 350
    /// Bookmarks: named states; each workspace works on one
351
    Bookmark {
352
        #[command(subcommand)]
353
        cmd: BookmarkCmd,
354
    },
355
    /// Union another bookmark's heads into the current one (no merge change)
d42369ab Andy McCall 356
    Merge {
357
        /// The bookmark whose heads to add
358
        bookmark: String,
359
    },
ff1f62fe Andy McCall ↶ 360
    /// Sign in to a hub once, for every repository on it
361
    Auth {
362
        #[command(subcommand)]
363
        cmd: AuthCmd,
364
    },
4dee277c Andy McCall ↶ 365
    /// Subrepositories: nested repositories pinned to a state
366
    Submodule {
367
        #[command(subcommand)]
368
        cmd: SubmoduleCmd,
369
    },
fc1a466a Andy McCall ↶ 370
    /// Execution receipts: signed records of what a runner ran on a state
371
    Receipt {
372
        #[command(subcommand)]
373
        cmd: ReceiptCmd,
374
    },
132b884b Andy McCall ↶ 375
    /// Tags: immutable named states
376
    Tag {
377
        #[command(subcommand)]
378
        cmd: TagCmd,
379
    },
fce44ae9 Andy McCall ↶ 380
    /// Manage remotes
381
    Remote {
382
        #[command(subcommand)]
383
        cmd: RemoteCmd,
384
    },
385
    /// Fetch every bookmark of a remote into its tracking references
c6aa5bd9 Andy McCall ↶ 386
    Fetch {
d42369ab Andy McCall 387
        /// Remote name (default: origin)
c6aa5bd9 Andy McCall ↶ 388
        remote: Option<String>,
d42369ab Andy McCall 389
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 390
        #[arg(long)]
391
        json: bool,
392
    },
fce44ae9 Andy McCall ↶ 393
    /// Fetch, then union the remote bookmark into the local one (no merge change)
c6aa5bd9 Andy McCall ↶ 394
    Pull {
d42369ab Andy McCall 395
        /// Remote name (default: origin)
c6aa5bd9 Andy McCall ↶ 396
        remote: Option<String>,
d42369ab Andy McCall 397
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 398
        #[arg(long)]
399
        json: bool,
400
    },
fce44ae9 Andy McCall ↶ 401
    /// Push the current bookmark to a remote
402
    Push {
d42369ab Andy McCall 403
        /// Remote name (default: origin)
fce44ae9 Andy McCall ↶ 404
        remote: Option<String>,
405
        /// Allow dropping heads the remote has
406
        #[arg(long)]
407
        force: bool,
7b9809e6 Andy McCall ↶ 408
        /// Push this bookmark instead of the workspace's current one
409
        #[arg(short = 'b', long)]
410
        bookmark: Option<String>,
f8c69576 Andy McCall ↶ 411
        /// Delete this bookmark on the remote (never its default bookmark);
412
        /// the local bookmark is kept
413
        #[arg(long, value_name = "NAME", conflicts_with_all = ["bookmark", "force"])]
414
        delete: Option<String>,
d42369ab Andy McCall 415
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 416
        #[arg(long)]
417
        json: bool,
fce44ae9 Andy McCall ↶ 418
    },
2b5ee371 Andy McCall ↶ 419
    /// Serve repositories under ROOT over HTTPS (with --tls-cert/--tls-key) or plain HTTP
fce44ae9 Andy McCall ↶ 420
    Serve {
421
        /// Directory with one repository per subdirectory
422
        #[arg(long, default_value = ".")]
423
        root: PathBuf,
d42369ab Andy McCall 424
        /// Address and port to listen on
fce44ae9 Andy McCall ↶ 425
        #[arg(long, default_value = "127.0.0.1:8890")]
426
        bind: String,
427
        /// Bearer token allowed to push (repeatable); none means open
428
        #[arg(long = "token")]
429
        tokens: Vec<String>,
2b5ee371 Andy McCall ↶ 430
        /// PEM certificate chain; enables HTTPS together with --tls-key
431
        #[arg(long, requires = "tls_key")]
432
        tls_cert: Option<PathBuf>,
433
        /// PEM private key
434
        #[arg(long, requires = "tls_cert")]
435
        tls_key: Option<PathBuf>,
fce44ae9 Andy McCall ↶ 436
    },
437
    /// Manage the signing identity
438
    Identity {
439
        #[command(subcommand)]
440
        cmd: IdentityCmd,
441
    },
05e71ed6 Andy McCall ↶ 442
    /// Seal changes with your key: named ones, or every change on the current bookmark you can authenticate but have not
443
    Seal {
d42369ab Andy McCall 444
        /// Changes to seal (default: every change on the bookmark you can authenticate and have not sealed)
05e71ed6 Andy McCall ↶ 445
        changes: Vec<String>,
d82e4409 Andy McCall ↶ 446
        /// Seal every change of a hub proposal and push the seal (your approval)
447
        #[arg(long, conflicts_with = "changes")]
448
        proposal: Option<String>,
d42369ab Andy McCall 449
        /// Machine-readable output: one JSON document on stdout
05e71ed6 Andy McCall ↶ 450
        #[arg(long)]
451
        json: bool,
452
    },
d82e4409 Andy McCall ↶ 453
    /// Hub proposals: show one, or land it from this client
454
    Proposal {
455
        #[command(subcommand)]
456
        cmd: ProposalCmd,
457
    },
fce44ae9 Andy McCall ↶ 458
    /// Verify the signatures on a change (default: every change in the log)
c6aa5bd9 Andy McCall ↶ 459
    Verify {
d42369ab Andy McCall 460
        /// The change to verify (default: every change in the log)
c6aa5bd9 Andy McCall ↶ 461
        change: Option<String>,
2c9ddac3 Andy McCall ↶ 462
        /// Verify every change a revset selects: `release..main & unsigned()`
463
        #[arg(short = 'r', long, value_name = "REVSET", conflicts_with = "change")]
464
        revset: Option<String>,
d42369ab Andy McCall 465
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 466
        #[arg(long)]
467
        json: bool,
468
    },
79ab8528 Andy McCall ↶ 469
    /// Git interoperability
470
    Git {
471
        #[command(subcommand)]
472
        cmd: GitCmd,
473
    },
83e0677b Andy McCall ↶ 474
    /// Manage the trust policy (who may update which bookmarks)
475
    Policy {
476
        #[command(subcommand)]
477
        cmd: PolicyCmd,
478
    },
ff1f62fe Andy McCall ↶ 479
    /// Set a configuration key (author.*, core.sign, core.op-retention, core.gc-grace, core.checkpoint-interval, filter.max-blob, filter.paths, workspace.bookmark, remote.<name>.url|token|ca, auth.helper with --user)
fce44ae9 Andy McCall ↶ 480
    Config {
d42369ab Andy McCall 481
        /// The key, such as author.name or remote.origin.token
fce44ae9 Andy McCall ↶ 482
        key: String,
d42369ab Andy McCall 483
        /// The value to set
fce44ae9 Andy McCall ↶ 484
        value: String,
485
        /// Write to the user file (~/.config/oxy/config.toml) instead of this repository
486
        #[arg(long)]
487
        user: bool,
488
    },
489
}
490
491
#[derive(Subcommand)]
492
enum OpCmd {
98a1620a Andy McCall ↶ 493
    /// List operations, newest first, with what each changed
c6aa5bd9 Andy McCall ↶ 494
    Log {
98a1620a Andy McCall ↶ 495
        /// Show only the latest N (snapshots folded together count as one)
496
        #[arg(short = 'n', long)]
497
        limit: Option<usize>,
d42369ab Andy McCall 498
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 499
        #[arg(long)]
500
        json: bool,
98a1620a Andy McCall ↶ 501
    },
502
    /// Go back to the bookmarks and working copy as they were after OP (recorded as a new operation, so it can be undone)
503
    Restore {
504
        /// The operation: an ID prefix from oxy op log, @ or @-
505
        op: String,
506
        /// Throw away uncommitted working-copy changes
507
        #[arg(long)]
508
        discard: bool,
509
    },
510
    /// Undo OP alone, keeping every operation after it: the bookmarks it moved go back
511
    Revert {
512
        /// The operation: an ID prefix from oxy op log
513
        op: String,
c6aa5bd9 Andy McCall ↶ 514
    },
fce44ae9 Andy McCall ↶ 515
}
516
517
#[derive(Subcommand)]
4e88e774 Andy McCall ↶ 518
enum WorkspaceCmd {
519
    /// Create a workspace at PATH checked out on CHANGE... (default: the bookmark heads)
d42369ab Andy McCall 520
    Add {
521
        /// Directory for the new workspace (must be empty or absent)
522
        path: PathBuf,
523
        /// Changes whose state to check out there
524
        changes: Vec<String>,
525
    },
526
    /// List workspaces and their working-copy changes
1196b29b Andy McCall ↶ 527
    List {
d42369ab Andy McCall 528
        /// Machine-readable output: one JSON document on stdout
1196b29b Andy McCall ↶ 529
        #[arg(long)]
530
        json: bool,
531
    },
4e88e774 Andy McCall ↶ 532
    /// Stop tracking a workspace (by id prefix or path); its files stay
d42369ab Andy McCall 533
    Forget {
534
        /// Workspace id prefix or path
535
        workspace: String,
536
    },
4e88e774 Andy McCall ↶ 537
}
538
539
#[derive(Subcommand)]
957fee30 Andy McCall ↶ 540
enum BisectCmd {
541
    /// Begin; remembers where the working copy was
542
    Start,
543
    /// Mark CHANGE... (or the state under test) as good
d42369ab Andy McCall 544
    Good {
545
        /// Changes known to be good (default: the state under test)
546
        changes: Vec<String>,
547
    },
957fee30 Andy McCall ↶ 548
    /// Mark CHANGE... (or the state under test) as bad
d42369ab Andy McCall 549
    Bad {
550
        /// Changes known to be bad (default: the state under test)
551
        changes: Vec<String>,
552
    },
957fee30 Andy McCall ↶ 553
    /// The state under test cannot be tested; try another
554
    Skip,
555
    /// Run a command for each step: exit 0 good, 125 skip, else bad
556
    Run {
d42369ab Andy McCall 557
        /// Command and arguments to run at each step
957fee30 Andy McCall ↶ 558
        #[arg(required = true, trailing_var_arg = true)]
559
        command: Vec<String>,
560
    },
561
    /// Where the search stands
c6aa5bd9 Andy McCall ↶ 562
    Status {
d42369ab Andy McCall 563
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 564
        #[arg(long)]
565
        json: bool,
566
    },
957fee30 Andy McCall ↶ 567
    /// Restore the working copy and forget the search
568
    Reset,
569
}
570
571
#[derive(Subcommand)]
7b9809e6 Andy McCall ↶ 572
enum BookmarkCmd {
573
    /// Create a bookmark at CHANGE... (default: the working copy's base)
d42369ab Andy McCall 574
    Create {
575
        /// Name of the new bookmark
576
        name: String,
4fe7d604 Andy McCall ↶ 577
        /// Its heads (default: the working copy's base). A state is its
578
        /// heads and what they depend on: a change alone may leave out
579
        /// earlier changes of the current state, which is refused unless
580
        /// --upto or --only says which is meant
d42369ab Andy McCall 581
        changes: Vec<String>,
4fe7d604 Andy McCall ↶ 582
        /// Everything of the current state up to CHANGE..., as a Git
583
        /// branch at a commit would hold
584
        #[arg(long, conflicts_with = "only")]
585
        upto: bool,
586
        /// Just CHANGE... and what they depend on
587
        #[arg(long)]
588
        only: bool,
d42369ab Andy McCall 589
    },
7b9809e6 Andy McCall ↶ 590
    /// Point an existing bookmark at CHANGE...
d42369ab Andy McCall 591
    Set {
592
        /// The bookmark to move
593
        name: String,
06d16dc2 Andy McCall ↶ 594
        /// Its new heads. A change alone may leave out changes the
595
        /// bookmark now holds that were recorded before it, which is
596
        /// refused unless --upto or --only says which is meant
d42369ab Andy McCall 597
        changes: Vec<String>,
06d16dc2 Andy McCall ↶ 598
        /// Everything the bookmark holds up to CHANGE..., as a Git branch
599
        /// moved to a commit would hold
600
        #[arg(long, conflicts_with = "only")]
601
        upto: bool,
602
        /// Just CHANGE... and what they depend on
603
        #[arg(long)]
604
        only: bool,
d42369ab Andy McCall 605
    },
7b9809e6 Andy McCall ↶ 606
    /// Remove a bookmark; its changes stay
d42369ab Andy McCall 607
    Delete {
608
        /// The bookmark to remove
609
        name: String,
610
    },
7b9809e6 Andy McCall ↶ 611
    /// List bookmarks with their heads and difference from origin
c6aa5bd9 Andy McCall ↶ 612
    List {
14edbaaf Andy McCall ↶ 613
        /// Also list remotes' bookmarks that have no local bookmark
614
        #[arg(long, short)]
615
        all: bool,
d42369ab Andy McCall 616
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 617
        #[arg(long)]
618
        json: bool,
619
    },
61e3bce7 Andy McCall ↶ 620
    /// Make NAME this workspace's bookmark and check it out. Uncommitted work stops it; --carry takes the work along, --discard drops it
7b9809e6 Andy McCall ↶ 621
    Switch {
14edbaaf Andy McCall ↶ 622
        /// The bookmark to work on; one only a remote has (NAME or REMOTE/NAME) is created from it
7b9809e6 Andy McCall ↶ 623
        name: String,
624
        /// Throw away uncommitted working-copy changes
625
        #[arg(long)]
626
        discard: bool,
61e3bce7 Andy McCall ↶ 627
        /// Take uncommitted changes along; refused when NAME has other
628
        /// versions of the files they touch
629
        #[arg(long, conflicts_with = "discard")]
630
        carry: bool,
ff1f62fe Andy McCall ↶ 631
    },
632
}
633
634
#[derive(Subcommand)]
635
enum AuthCmd {
636
    /// Sign in to HUB in the browser (device sign-in) and keep the token for
637
    /// every repository there
638
    Login {
639
        /// The hub, as https://oxygenhub.io or oxygenhub.io (default: this checkout's origin)
640
        hub: Option<String>,
641
        /// Read a token from standard input instead (for CI and scripts)
642
        #[arg(long)]
643
        with_token: bool,
644
        /// PEM file of extra roots to trust (a hub with a self-signed certificate)
645
        #[arg(long)]
646
        ca: Option<PathBuf>,
7b9809e6 Andy McCall ↶ 647
    },
ff1f62fe Andy McCall ↶ 648
    /// List the hubs you are signed in to, checking each token with its hub
649
    Status,
650
    /// Forget HUB's token and revoke it on the hub
651
    Logout {
652
        /// The hub (default: this checkout's origin, or the only one)
653
        hub: Option<String>,
654
    },
7b9809e6 Andy McCall ↶ 655
}
656
657
#[derive(Subcommand)]
4dee277c Andy McCall ↶ 658
enum SubmoduleCmd {
659
    /// Clone URL (Oxygen or Git) into PATH and register it in .oxymodules
660
    Add {
d42369ab Andy McCall 661
        /// URL or path of the Oxygen or Git repository
4dee277c Andy McCall ↶ 662
        url: String,
d42369ab Andy McCall 663
        /// Where to put it, relative to the repository root
4dee277c Andy McCall ↶ 664
        path: String,
665
        /// Bookmark (Oxygen) or branch (Git) to check out and track
666
        #[arg(long)]
667
        bookmark: Option<String>,
668
    },
669
    /// Bring nested repositories to their pins
670
    Update {
671
        /// Clone nested repositories that are absent
672
        #[arg(long)]
673
        init: bool,
d42369ab Andy McCall 674
        /// Subrepos to update (default: all)
4dee277c Andy McCall ↶ 675
        paths: Vec<String>,
676
    },
677
    /// List subrepos with their pins and on-disk state
c6aa5bd9 Andy McCall ↶ 678
    Status {
d42369ab Andy McCall 679
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 680
        #[arg(long)]
681
        json: bool,
682
    },
4dee277c Andy McCall ↶ 683
    /// Unregister PATH; the directory stays, the node goes with the next commit
d42369ab Andy McCall 684
    Remove {
685
        /// The subrepo to unregister
686
        path: String,
687
    },
4dee277c Andy McCall ↶ 688
}
689
690
#[derive(Subcommand)]
fc1a466a Andy McCall ↶ 691
enum ReceiptCmd {
692
    /// The receipts kept for a state (default: the bookmark heads)
693
    List {
694
        /// Change, bookmark or tag whose state to look at
695
        rev: Option<String>,
696
        /// Machine-readable output: one JSON document on stdout
697
        #[arg(long)]
698
        json: bool,
699
    },
700
    /// One receipt in full, and whether its signature verifies
701
    Show {
702
        /// The receipt (a prefix of its hash, as `list` shows it)
703
        receipt: String,
704
        /// Change, bookmark or tag whose state holds it
705
        #[arg(long)]
706
        rev: Option<String>,
707
        /// Machine-readable output: one JSON document on stdout
708
        #[arg(long)]
709
        json: bool,
710
    },
711
    /// Write a signed receipt to FILE
712
    Export {
713
        /// The receipt (a prefix of its hash, as `list` shows it)
714
        receipt: String,
715
        /// Where to write it
716
        file: String,
717
        /// Change, bookmark or tag whose state holds it
718
        #[arg(long)]
719
        rev: Option<String>,
720
    },
721
    /// Check a signed receipt in FILE without keeping it
722
    Verify {
723
        /// A signed receipt, as a runner or `export` writes it
724
        file: String,
725
        /// Machine-readable output: one JSON document on stdout
726
        #[arg(long)]
727
        json: bool,
728
    },
729
    /// Verify a signed receipt in FILE and keep it with its state
730
    Import {
731
        /// A signed receipt, as a runner or `export` writes it
732
        file: String,
733
    },
734
}
735
736
#[derive(Subcommand)]
132b884b Andy McCall ↶ 737
enum TagCmd {
738
    /// Tag the state of CHANGE... (default: the bookmark heads)
739
    Create {
d42369ab Andy McCall 740
        /// Name of the tag; tags never move
132b884b Andy McCall ↶ 741
        name: String,
d42369ab Andy McCall 742
        /// Changes whose state to tag (default: the bookmark heads)
132b884b Andy McCall ↶ 743
        changes: Vec<String>,
d42369ab Andy McCall 744
        /// A message recorded with the tag
132b884b Andy McCall ↶ 745
        #[arg(short, long, default_value = "")]
746
        message: String,
747
    },
d42369ab Andy McCall 748
    /// List tags and the states they name
1196b29b Andy McCall ↶ 749
    List {
d42369ab Andy McCall 750
        /// Machine-readable output: one JSON document on stdout
1196b29b Andy McCall ↶ 751
        #[arg(long)]
752
        json: bool,
753
    },
132b884b Andy McCall ↶ 754
}
755
756
#[derive(Subcommand)]
fce44ae9 Andy McCall ↶ 757
enum RemoteCmd {
d42369ab Andy McCall 758
    /// Add a remote
75167672 Andy McCall 759
    Add {
d42369ab Andy McCall 760
        /// Name to refer to the remote by, such as origin
75167672 Andy McCall 761
        name: String,
9aa39904 Andy McCall ↶ 762
        /// A local path or the http(s) URL of a hub repository; or a store the repository is kept on: s3://BUCKET/PREFIX, gs://BUCKET/PREFIX, az://ACCOUNT/CONTAINER/PREFIX, dir://PATH
75167672 Andy McCall 763
        url: String,
9aa39904 Andy McCall ↶ 764
        /// For an s3:// store: the AWS profile to use (default: AWS_PROFILE, else "default")
765
        #[arg(long)]
766
        profile: Option<String>,
767
        /// For an s3:// store: its region (default: the environment, the profile, else asked of S3)
768
        #[arg(long)]
769
        region: Option<String>,
770
        /// For an s3://, gs:// or az:// store: another endpoint, such as an S3-compatible service
771
        #[arg(long)]
772
        endpoint: Option<String>,
773
        /// For a gs:// store: a service account key file, or application default credentials
774
        #[arg(long)]
775
        credentials: Option<String>,
75167672 Andy McCall 776
    },
9aa39904 Andy McCall ↶ 777
    /// Check a remote: that it is reachable with the credentials in hand, what it holds, and (for a store) that it behaves
778
    Check {
779
        /// The remote to check
780
        name: String,
781
    },
d42369ab Andy McCall 782
    /// Remove a remote
75167672 Andy McCall 783
    Remove {
d42369ab Andy McCall 784
        /// The remote to remove
75167672 Andy McCall 785
        name: String,
786
    },
d42369ab Andy McCall 787
    /// List remotes and their URLs
c6aa5bd9 Andy McCall ↶ 788
    List {
d42369ab Andy McCall 789
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 790
        #[arg(long)]
791
        json: bool,
792
    },
fce44ae9 Andy McCall ↶ 793
}
794
795
#[derive(Subcommand)]
d82e4409 Andy McCall ↶ 796
enum ProposalCmd {
797
    /// Show a proposal by its hub URL
798
    Show {
d42369ab Andy McCall 799
        /// The proposal's URL on the hub
d82e4409 Andy McCall ↶ 800
        url: String,
d42369ab Andy McCall 801
        /// Machine-readable output: one JSON document on stdout
d82e4409 Andy McCall ↶ 802
        #[arg(long)]
803
        json: bool,
804
    },
805
    /// Fetch the proposal's changes, set the target bookmark to the projected state, and push with your key
806
    Land {
d42369ab Andy McCall 807
        /// The proposal's URL on the hub
d82e4409 Andy McCall ↶ 808
        url: String,
809
        /// Land even when the hub reports blockers
810
        #[arg(long)]
811
        force: bool,
812
    },
813
}
814
815
#[derive(Subcommand)]
fce44ae9 Andy McCall ↶ 816
enum IdentityCmd {
817
    /// Generate a composite Ed25519 + ML-DSA-65 key pair and make it your author identity
818
    Create {
d42369ab Andy McCall 819
        /// Your name (default: author.name)
fce44ae9 Andy McCall ↶ 820
        #[arg(long)]
821
        name: Option<String>,
d42369ab Andy McCall 822
        /// Your email (default: author.email)
fce44ae9 Andy McCall ↶ 823
        #[arg(long)]
824
        email: Option<String>,
825
        /// Record the author in this repository only, not in the user config
826
        #[arg(long)]
827
        local: bool,
28fc23d7 Andy McCall ↶ 828
        /// Expire the identity this many days from now
829
        #[arg(long)]
830
        expires: Option<u64>,
fce44ae9 Andy McCall ↶ 831
    },
832
    /// Show the configured identity
833
    Show,
83e0677b Andy McCall ↶ 834
    /// Write your identity object to a file, to hand to a policy holder
d42369ab Andy McCall 835
    Export {
e3d071ce Andy McCall ↶ 836
        /// File to write (default: <key>.identity in the current directory)
d42369ab Andy McCall 837
        path: Option<PathBuf>,
838
    },
7aa2dc93 Andy McCall ↶ 839
    /// Sign a host's challenge (hex, at least 16 bytes) to prove you hold your key; prints the signature as hex
840
    SignChallenge {
d42369ab Andy McCall 841
        /// The host's challenge, as hex
7aa2dc93 Andy McCall ↶ 842
        challenge: String,
d42369ab Andy McCall 843
        /// Machine-readable output: one JSON document on stdout
7aa2dc93 Andy McCall ↶ 844
        #[arg(long)]
845
        json: bool,
846
    },
28fc23d7 Andy McCall ↶ 847
    /// Move to a fresh key pair; the policy follows if it names your key
848
    Rotate,
849
    /// Re-issue your identity with a new expiry (in days from now; 0 = never)
850
    Renew {
d42369ab Andy McCall 851
        /// Days from now until it expires; 0 for never
28fc23d7 Andy McCall ↶ 852
        #[arg(long)]
853
        expires: u64,
854
    },
855
    /// Revoke a key: yours by default, or any key if you hold a policy root
856
    Revoke {
857
        /// KeyId prefix (default: your own key)
858
        key: Option<String>,
d42369ab Andy McCall 859
        /// Why, recorded in the revocation
28fc23d7 Andy McCall ↶ 860
        #[arg(long, default_value = "")]
861
        reason: String,
862
    },
863
    /// Keys allowed to sign or seal on your behalf
864
    Delegate {
865
        #[command(subcommand)]
866
        cmd: DelegateCmd,
867
    },
868
}
869
870
#[derive(Subcommand)]
871
enum DelegateCmd {
872
    /// Add a delegate from an exported identity file
d42369ab Andy McCall 873
    Add {
874
        /// The delegate's exported identity file
875
        identity_file: PathBuf,
7ba155f2 Andy McCall ↶ 876
        /// What it may do for you: changes, refs, seal (comma-separated) or all.
877
        /// An agent gets `changes`; a host that lands for you needs `changes,refs`
878
        #[arg(long, default_value = "changes")]
879
        scope: String,
880
        /// How long for: 30m, 8h, 7d, or a number of days (default: until removed)
881
        #[arg(long)]
882
        expires: Option<String>,
d42369ab Andy McCall 883
    },
28fc23d7 Andy McCall ↶ 884
    /// Remove a delegate by KeyId prefix
d42369ab Andy McCall 885
    Remove {
886
        /// KeyId prefix of the delegate
887
        key: String,
888
    },
28fc23d7 Andy McCall ↶ 889
    /// List delegates
890
    List,
fce44ae9 Andy McCall ↶ 891
}
892
83e0677b Andy McCall ↶ 893
#[derive(Subcommand)]
79ab8528 Andy McCall ↶ 894
enum GitCmd {
895
    /// Export the current bookmark to a Git repository (created bare if absent)
30ea9c1e Andy McCall ↶ 896
    Export {
d42369ab Andy McCall 897
        /// Git repository to write to (created bare if absent)
30ea9c1e Andy McCall ↶ 898
        git_dir: PathBuf,
899
        /// Git branch to write (default: the bookmark name)
900
        #[arg(long)]
901
        branch: Option<String>,
902
    },
903
    /// Fetch a branch from a Git remote (path or URL) into the current bookmark
904
    Fetch {
d42369ab Andy McCall 905
        /// Git remote: a path or URL
30ea9c1e Andy McCall ↶ 906
        url: String,
d42369ab Andy McCall 907
        /// Branch to fetch
30ea9c1e Andy McCall ↶ 908
        #[arg(long, default_value = "main")]
909
        branch: String,
910
    },
911
    /// Push the current bookmark to a branch of a Git remote (fetch first)
912
    Push {
d42369ab Andy McCall 913
        /// Git remote: a path or URL
30ea9c1e Andy McCall ↶ 914
        url: String,
d42369ab Andy McCall 915
        /// Branch to push to
30ea9c1e Andy McCall ↶ 916
        #[arg(long, default_value = "main")]
917
        branch: String,
918
    },
62794ecc Andy McCall ↶ 919
    /// Check this repository's import of a Git branch: every commit's tree must be reproduced exactly
920
    Verify {
921
        /// The Git repository the import came from
922
        git_dir: PathBuf,
923
        /// Branch that was imported
924
        #[arg(long, default_value = "main")]
925
        branch: String,
7eac74ab Andy McCall ↶ 926
        /// Rebuild only the last N commits (the others are followed, not checked)
927
        #[arg(long, value_name = "N")]
928
        last: Option<usize>,
62794ecc Andy McCall ↶ 929
    },
c3069537 Andy McCall ↶ 930
    /// Import a Git branch into a new Oxygen repository at DEST
931
    Import {
d42369ab Andy McCall 932
        /// Git repository to read
c3069537 Andy McCall ↶ 933
        git_dir: PathBuf,
d42369ab Andy McCall 934
        /// Directory for the new Oxygen repository
c3069537 Andy McCall ↶ 935
        dest: PathBuf,
d42369ab Andy McCall 936
        /// Branch to import
c3069537 Andy McCall ↶ 937
        #[arg(long, default_value = "main")]
938
        branch: String,
939
    },
79ab8528 Andy McCall ↶ 940
}
941
942
#[derive(Subcommand)]
83e0677b Andy McCall ↶ 943
enum PolicyCmd {
944
    /// Create the initial policy with your identity as the only root
945
    Init,
946
    /// Show the current policy
c6aa5bd9 Andy McCall ↶ 947
    Show {
d42369ab Andy McCall 948
        /// Machine-readable output: one JSON document on stdout
c6aa5bd9 Andy McCall ↶ 949
        #[arg(long)]
950
        json: bool,
951
    },
83e0677b Andy McCall ↶ 952
    /// Allow an identity (from `oxy identity export`) to update bookmarks
953
    Grant {
d42369ab Andy McCall 954
        /// The identity to grant, exported with `oxy identity export`
83e0677b Andy McCall ↶ 955
        identity_file: PathBuf,
956
        /// Reference pattern the grant applies to (default: every bookmark)
957
        #[arg(long)]
958
        pattern: Option<String>,
28fc23d7 Andy McCall ↶ 959
        /// Where to write the proposal when more root signatures are needed
960
        #[arg(long)]
961
        out: Option<PathBuf>,
83e0677b Andy McCall ↶ 962
    },
963
    /// Revoke a key (KeyId prefix of an identity in the policy)
28fc23d7 Andy McCall ↶ 964
    Revoke {
d42369ab Andy McCall 965
        /// KeyId prefix of the identity
28fc23d7 Andy McCall ↶ 966
        key: String,
967
        /// Where to write the proposal when more root signatures are needed
968
        #[arg(long)]
969
        out: Option<PathBuf>,
970
    },
971
    /// Manage root keys and the signature threshold for policy updates
972
    Root {
973
        #[command(subcommand)]
974
        cmd: RootCmd,
975
    },
976
    /// Add your root signature to a proposal file; applies it once the threshold is met
977
    Sign {
d42369ab Andy McCall 978
        /// The proposal file to sign
28fc23d7 Andy McCall ↶ 979
        proposal: PathBuf,
980
        /// Where to write the proposal if it still needs signatures (default: in place)
981
        #[arg(long)]
982
        out: Option<PathBuf>,
983
    },
984
}
985
986
#[derive(Subcommand)]
987
enum RootCmd {
988
    /// Make an exported identity a root key
989
    Add {
d42369ab Andy McCall 990
        /// The identity to make a root, exported with `oxy identity export`
28fc23d7 Andy McCall ↶ 991
        identity_file: PathBuf,
d42369ab Andy McCall 992
        /// Where to write the proposal when more root signatures are needed
28fc23d7 Andy McCall ↶ 993
        #[arg(long)]
994
        out: Option<PathBuf>,
995
    },
996
    /// Remove a root key by KeyId prefix
997
    Remove {
d42369ab Andy McCall 998
        /// KeyId prefix of the root key
28fc23d7 Andy McCall ↶ 999
        key: String,
d42369ab Andy McCall 1000
        /// Where to write the proposal when more root signatures are needed
28fc23d7 Andy McCall ↶ 1001
        #[arg(long)]
1002
        out: Option<PathBuf>,
1003
    },
1004
    /// Require this many root signatures on policy updates
1005
    Threshold {
d42369ab Andy McCall 1006
        /// Number of root signatures
28fc23d7 Andy McCall ↶ 1007
        n: u32,
d42369ab Andy McCall 1008
        /// Where to write the proposal when more root signatures are needed
28fc23d7 Andy McCall ↶ 1009
        #[arg(long)]
1010
        out: Option<PathBuf>,
1011
    },
83e0677b Andy McCall ↶ 1012
}
1013
fce44ae9 Andy McCall ↶ 1014
/// Open the repository containing the current directory.
1015
fn open() -> Result<Repo> {
98a1620a Andy McCall ↶ 1016
    let repo = Repo::open(&std::env::current_dir()?).context("opening repository")?;
1017
    match AT_OP.get().and_then(|o| o.as_deref()) {
1018
        Some(op) => Ok(repo.at_op(op)?),
1019
        None => Ok(repo),
1020
    }
fce44ae9 Andy McCall ↶ 1021
}
1022
d42369ab Andy McCall 1023
/// `oxy man`: every page into `dir`, or the top-level page on stdout.
1024
fn man(dir: Option<PathBuf>) -> Result<i32> {
1025
    use clap::CommandFactory;
1026
    let cmd = Cli::command();
1027
    match dir {
1028
        Some(dir) => {
1029
            std::fs::create_dir_all(&dir)?;
1030
            clap_mangen::generate_to(cmd, &dir)?;
1031
            let pages = std::fs::read_dir(&dir)?
1032
                .filter(|e| {
1033
                    e.as_ref()
1034
                        .is_ok_and(|e| e.path().extension().is_some_and(|x| x == "1"))
1035
                })
1036
                .count();
1037
            println!(
1038
                "{}",
1039
                ui::done(format!("Wrote {pages} man pages to {}", dir.display()))
1040
            );
1041
        }
1042
        None => clap_mangen::Man::new(cmd).render(&mut std::io::stdout())?,
1043
    }
1044
    Ok(0)
1045
}
1046
fce44ae9 Andy McCall ↶ 1047
/// Parse arguments and run; returns the process exit code.
1048
pub fn run() -> Result<i32> {
8d803563 Andy McCall ↶ 1049
    // The cloud stores (s3://, gs://, az://) for remotes kept on them.
1050
    oxy_strata::register();
fce44ae9 Andy McCall ↶ 1051
    let cli = Cli::parse();
135212de Andy McCall ↶ 1052
    ui::init(cli.plain);
98a1620a Andy McCall ↶ 1053
    AT_OP.set(cli.at_op.clone()).ok();
fce44ae9 Andy McCall ↶ 1054
    match cli.cmd {
d42369ab Andy McCall 1055
        Cmd::Completions { shell } => {
1056
            use clap::CommandFactory;
1057
            clap_complete::generate(shell, &mut Cli::command(), "oxy", &mut std::io::stdout());
1058
            Ok(0)
1059
        }
1060
        Cmd::Man { dir } => man(dir),
e02bf0cd Andy McCall ↶ 1061
        Cmd::Init { path, bare } => workspace::init(path, bare),
50a046e4 Andy McCall ↶ 1062
        Cmd::Status { json } => workspace::status(json),
75167672 Andy McCall 1063
        Cmd::Prompt {
1064
            format,
1065
            glyphs,
1066
            color,
1067
        } => workspace::prompt(&format, glyphs, color.as_deref()),
1068
        Cmd::Commit {
1069
            message,
6a81dbab Andy McCall ↶ 1070
            file,
75167672 Andy McCall 1071
            depends_on,
1072
            paths,
1073
            interactive,
1074
            hunks,
6a81dbab Andy McCall ↶ 1075
        } => {
1076
            let message = match (message, file) {
1077
                (Some(m), _) => m,
1078
                (None, Some(f)) if f.as_os_str() == "-" => {
1079
                    let mut s = String::new();
1080
                    std::io::Read::read_to_string(&mut std::io::stdin(), &mut s)?;
1081
                    s
1082
                }
1083
                (None, Some(f)) => std::fs::read_to_string(&f).map_err(|e| {
1084
                    anyhow::anyhow!("reading the message from {}: {e}", f.display())
1085
                })?,
1086
                (None, None) => anyhow::bail!("a commit message is required (-m or -F)"),
1087
            };
1088
            workspace::commit(&message, &depends_on, &paths, interactive, &hunks)
1089
        }
c6aa5bd9 Andy McCall ↶ 1090
        Cmd::Cat { path, change } => workspace::cat(&path, change.as_deref()),
1091
        Cmd::Root { json } => workspace::root(json),
1092
        Cmd::Version { json } => workspace::version(json),
1093
        Cmd::Discard { paths, hunks } => workspace::discard(&paths, &hunks),
1094
        Cmd::Hunks { json } => workspace::hunks(json),
728da0f9 Andy McCall ↶ 1095
        Cmd::Squash { change, into } => workspace::squash(&change, &into),
e266b7d4 Andy McCall ↶ 1096
        Cmd::Rebase {
1097
            change,
1098
            onto,
1099
            into_working_copy,
1100
        } => workspace::rebase(&change, &onto, into_working_copy),
957fee30 Andy McCall ↶ 1101
        Cmd::Blame { path, json } => workspace::blame(&path, json),
1102
        Cmd::Bisect { cmd } => match cmd {
1103
            BisectCmd::Start => workspace::bisect_start(),
1104
            BisectCmd::Good { changes } => workspace::bisect_mark(Some(true), &changes),
1105
            BisectCmd::Bad { changes } => workspace::bisect_mark(Some(false), &changes),
1106
            BisectCmd::Skip => workspace::bisect_mark(None, &[]),
1107
            BisectCmd::Run { command } => workspace::bisect_run(&command),
c6aa5bd9 Andy McCall ↶ 1108
            BisectCmd::Status { json } => workspace::bisect_status(json),
957fee30 Andy McCall ↶ 1109
            BisectCmd::Reset => workspace::bisect_reset(),
1110
        },
75167672 Andy McCall 1111
        Cmd::Log {
47ce8b8e Andy McCall ↶ 1112
            revset,
75167672 Andy McCall 1113
            limit,
1114
            verbose,
1115
            path,
83d61e80 Andy McCall ↶ 1116
            lines,
75167672 Andy McCall 1117
            json,
47ce8b8e Andy McCall ↶ 1118
        } => workspace::log(
1119
            revset.as_deref(),
1120
            limit,
1121
            verbose,
1122
            path.as_deref(),
1123
            lines.as_deref(),
1124
            json,
1125
        ),
c6aa5bd9 Andy McCall ↶ 1126
        Cmd::Diff { change, json } => workspace::diff(change.as_deref(), json),
6a81dbab Andy McCall ↶ 1127
        Cmd::Describe {
1128
            message,
1129
            change,
1130
            json,
1131
        } => match message {
1132
            Some(m) => workspace::describe(&m, change.as_deref()),
1133
            None if change.is_some() => {
1134
                anyhow::bail!(
1135
                    "naming works on the working copy; to change a head's message pass -m"
1136
                )
1137
            }
1138
            None => workspace::describe_name(json),
1139
        },
23b217d7 Andy McCall ↶ 1140
        Cmd::Amend { message, into } => workspace::amend(message.as_deref(), into.as_deref()),
1141
        Cmd::Split { change, paths } => workspace::split(&change, &paths),
2c9ddac3 Andy McCall ↶ 1142
        Cmd::Abandon {
1143
            change,
1144
            revset,
1145
            yes,
1146
        } => workspace::abandon(change.as_deref(), revset.as_deref(), yes),
1147
        Cmd::Show {
1148
            change,
1149
            revset,
1150
            json,
1151
        } => workspace::show(change.as_deref(), revset.as_deref(), json),
1c2bd9ab Andy McCall ↶ 1152
        Cmd::Checkout {
1153
            changes,
1154
            discard,
1155
            carry,
1156
        } => workspace::checkout(&changes, discard, carry),
c6aa5bd9 Andy McCall ↶ 1157
        Cmd::Resolve { json } => workspace::resolve(json),
fce44ae9 Andy McCall ↶ 1158
        Cmd::Undo => workspace::undo(),
d8d93678 Andy McCall ↶ 1159
        Cmd::Gc { now, remote } => match remote {
1160
            Some(name) => workspace::gc_remote(&name, now),
1161
            None => workspace::gc(now),
1162
        },
387335ff Andy McCall ↶ 1163
        Cmd::Fsck { json } => workspace::fsck(json),
3e5772cc Andy McCall ↶ 1164
        Cmd::Doctor { offline, json } => workspace::doctor(offline, json),
252e8cb2 Andy McCall ↶ 1165
        Cmd::Checkpoint => workspace::checkpoint(),
98a1620a Andy McCall ↶ 1166
        Cmd::Op { cmd } => match cmd {
1167
            OpCmd::Log { limit, json } => workspace::op_log(limit, json),
1168
            OpCmd::Restore { op, discard } => workspace::op_restore(&op, discard),
1169
            OpCmd::Revert { op } => workspace::op_revert(&op),
1170
        },
75167672 Andy McCall 1171
        Cmd::Clone {
1172
            url,
1173
            dest,
1174
            max_blob,
1175
            sparse,
1176
            depth,
14edbaaf Andy McCall ↶ 1177
            recursive,
1178
        } => sync::clone(&url, dest, max_blob.as_deref(), &sparse, depth, recursive),
2863456a Andy McCall ↶ 1179
        Cmd::Deepen { depth, remote } => sync::deepen(&remote, depth),
7421309f Andy McCall ↶ 1180
        Cmd::Sparse { paths } => workspace::sparse(&paths),
cdb5beba Andy McCall ↶ 1181
        Cmd::Lock { path } => workspace::lock(&path),
1182
        Cmd::Unlock { path } => workspace::unlock(&path),
4e88e774 Andy McCall ↶ 1183
        Cmd::Workspace { cmd } => match cmd {
1184
            WorkspaceCmd::Add { path, changes } => workspace::workspace_add(&path, &changes),
1196b29b Andy McCall ↶ 1185
            WorkspaceCmd::List { json } => workspace::workspace_list(json),
4e88e774 Andy McCall ↶ 1186
            WorkspaceCmd::Forget { workspace } => workspace::workspace_forget(&workspace),
1187
        },
7b9809e6 Andy McCall ↶ 1188
        Cmd::Bookmark { cmd } => match cmd {
4fe7d604 Andy McCall ↶ 1189
            BookmarkCmd::Create {
1190
                name,
1191
                changes,
1192
                upto,
1193
                only,
1194
            } => workspace::bookmark_create(&name, &changes, upto, only),
06d16dc2 Andy McCall ↶ 1195
            BookmarkCmd::Set {
1196
                name,
1197
                changes,
1198
                upto,
1199
                only,
1200
            } => workspace::bookmark_set(&name, &changes, upto, only),
7b9809e6 Andy McCall ↶ 1201
            BookmarkCmd::Delete { name } => workspace::bookmark_delete(&name),
14edbaaf Andy McCall ↶ 1202
            BookmarkCmd::List { all, json } => workspace::bookmark_list(all, json),
61e3bce7 Andy McCall ↶ 1203
            BookmarkCmd::Switch {
1204
                name,
1205
                discard,
1206
                carry,
1207
            } => workspace::bookmark_switch(&name, discard, carry),
7b9809e6 Andy McCall ↶ 1208
        },
1209
        Cmd::Merge { bookmark } => workspace::merge(&bookmark),
ff1f62fe Andy McCall ↶ 1210
        Cmd::Auth { cmd } => match cmd {
1211
            AuthCmd::Login {
1212
                hub,
1213
                with_token,
1214
                ca,
1215
            } => auth::login(hub.as_deref(), with_token, ca),
1216
            AuthCmd::Status => auth::status(),
1217
            AuthCmd::Logout { hub } => auth::logout(hub.as_deref()),
1218
        },
4dee277c Andy McCall ↶ 1219
        Cmd::Submodule { cmd } => match cmd {
75167672 Andy McCall 1220
            SubmoduleCmd::Add {
1221
                url,
1222
                path,
1223
                bookmark,
1224
            } => sync::submodule_add(&url, &path, bookmark.as_deref()),
4dee277c Andy McCall ↶ 1225
            SubmoduleCmd::Update { init, paths } => sync::submodule_update(init, &paths),
c6aa5bd9 Andy McCall ↶ 1226
            SubmoduleCmd::Status { json } => sync::submodule_status(json),
4dee277c Andy McCall ↶ 1227
            SubmoduleCmd::Remove { path } => sync::submodule_remove(&path),
fc1a466a Andy McCall ↶ 1228
        },
1229
        Cmd::Receipt { cmd } => match cmd {
1230
            ReceiptCmd::List { rev, json } => receipt::list(rev.as_deref(), json),
1231
            ReceiptCmd::Show {
1232
                receipt: r,
1233
                rev,
1234
                json,
1235
            } => receipt::show(&r, rev.as_deref(), json),
1236
            ReceiptCmd::Export {
1237
                receipt: r,
1238
                file,
1239
                rev,
1240
            } => receipt::export(&r, &file, rev.as_deref()),
1241
            ReceiptCmd::Verify { file, json } => receipt::verify(&file, json),
1242
            ReceiptCmd::Import { file } => receipt::import(&file),
4dee277c Andy McCall ↶ 1243
        },
132b884b Andy McCall ↶ 1244
        Cmd::Tag { cmd } => match cmd {
75167672 Andy McCall 1245
            TagCmd::Create {
1246
                name,
1247
                changes,
1248
                message,
1249
            } => workspace::tag_create(&name, &changes, &message),
1196b29b Andy McCall ↶ 1250
            TagCmd::List { json } => workspace::tag_list(json),
132b884b Andy McCall ↶ 1251
        },
fce44ae9 Andy McCall ↶ 1252
        Cmd::Remote { cmd } => match cmd {
9aa39904 Andy McCall ↶ 1253
            RemoteCmd::Add {
1254
                name,
1255
                url,
1256
                profile,
1257
                region,
1258
                endpoint,
1259
                credentials,
1260
            } => sync::remote_add(
1261
                &name,
1262
                &url,
1263
                &[
1264
                    ("profile", profile),
1265
                    ("region", region),
1266
                    ("endpoint", endpoint),
1267
                    ("credentials", credentials),
1268
                ],
1269
            ),
1270
            RemoteCmd::Check { name } => sync::remote_check(&name),
fce44ae9 Andy McCall ↶ 1271
            RemoteCmd::Remove { name } => sync::remote_remove(&name),
c6aa5bd9 Andy McCall ↶ 1272
            RemoteCmd::List { json } => sync::remote_list(json),
fce44ae9 Andy McCall ↶ 1273
        },
c6aa5bd9 Andy McCall ↶ 1274
        Cmd::Fetch { remote, json } => sync::fetch(remote.as_deref(), json),
1275
        Cmd::Pull { remote, json } => sync::pull(remote.as_deref(), json),
75167672 Andy McCall 1276
        Cmd::Push {
1277
            remote,
1278
            force,
1279
            bookmark,
f8c69576 Andy McCall ↶ 1280
            delete,
75167672 Andy McCall 1281
            json,
f8c69576 Andy McCall ↶ 1282
        } => match delete {
1283
            Some(name) => sync::push_delete(remote.as_deref(), &name, json),
1284
            None => sync::push(remote.as_deref(), force, bookmark.as_deref(), json),
1285
        },
75167672 Andy McCall 1286
        Cmd::Serve {
1287
            root,
1288
            bind,
1289
            tokens,
1290
            tls_cert,
1291
            tls_key,
1292
        } => sync::serve(root, &bind, tokens, tls_cert.zip(tls_key)),
fce44ae9 Andy McCall ↶ 1293
        Cmd::Identity { cmd } => match cmd {
75167672 Andy McCall 1294
            IdentityCmd::Create {
1295
                name,
1296
                email,
1297
                local,
1298
                expires,
1299
            } => identity::create(name, email, local, expires),
fce44ae9 Andy McCall ↶ 1300
            IdentityCmd::Show => identity::show(),
83e0677b Andy McCall ↶ 1301
            IdentityCmd::Export { path } => identity::export(path),
119bbf50 Andy McCall ↶ 1302
            IdentityCmd::SignChallenge { challenge, json } => {
1303
                identity::sign_challenge(&challenge, json)
1304
            }
28fc23d7 Andy McCall ↶ 1305
            IdentityCmd::Rotate => identity::rotate(),
1306
            IdentityCmd::Renew { expires } => identity::renew(expires),
1307
            IdentityCmd::Revoke { key, reason } => identity::revoke(key.as_deref(), &reason),
1308
            IdentityCmd::Delegate { cmd } => match cmd {
7ba155f2 Andy McCall ↶ 1309
                DelegateCmd::Add {
1310
                    identity_file,
1311
                    scope,
1312
                    expires,
1313
                } => identity::delegate_add(&identity_file, &scope, expires.as_deref()),
28fc23d7 Andy McCall ↶ 1314
                DelegateCmd::Remove { key } => identity::delegate_remove(&key),
1315
                DelegateCmd::List => identity::delegate_list(),
1316
            },
83e0677b Andy McCall ↶ 1317
        },
75167672 Andy McCall 1318
        Cmd::Git {
1319
            cmd: GitCmd::Export { git_dir, branch },
1320
        } => sync::git_export(&git_dir, branch.as_deref()),
1321
        Cmd::Git {
1322
            cmd: GitCmd::Fetch { url, branch },
1323
        } => sync::git_fetch(&url, &branch),
1324
        Cmd::Git {
1325
            cmd: GitCmd::Push { url, branch },
1326
        } => sync::git_push(&url, &branch),
1327
        Cmd::Git {
1328
            cmd:
1329
                GitCmd::Import {
1330
                    git_dir,
1331
                    dest,
1332
                    branch,
1333
                },
1334
        } => sync::git_import(&git_dir, &dest, &branch),
62794ecc Andy McCall ↶ 1335
        Cmd::Git {
7eac74ab Andy McCall ↶ 1336
            cmd:
1337
                GitCmd::Verify {
1338
                    git_dir,
1339
                    branch,
1340
                    last,
1341
                },
1342
        } => sync::git_verify(&git_dir, &branch, last),
83e0677b Andy McCall ↶ 1343
        Cmd::Policy { cmd } => match cmd {
1344
            PolicyCmd::Init => identity::policy_init(),
c6aa5bd9 Andy McCall ↶ 1345
            PolicyCmd::Show { json } => identity::policy_show(json),
75167672 Andy McCall 1346
            PolicyCmd::Grant {
1347
                identity_file,
1348
                pattern,
1349
                out,
1350
            } => identity::policy_grant(&identity_file, pattern.as_deref(), out),
28fc23d7 Andy McCall ↶ 1351
            PolicyCmd::Revoke { key, out } => identity::policy_revoke(&key, out),
1352
            PolicyCmd::Root { cmd } => match cmd {
75167672 Andy McCall 1353
                RootCmd::Add { identity_file, out } => {
1354
                    identity::policy_root_add(&identity_file, out)
1355
                }
28fc23d7 Andy McCall ↶ 1356
                RootCmd::Remove { key, out } => identity::policy_root_remove(&key, out),
1357
                RootCmd::Threshold { n, out } => identity::policy_threshold(n, out),
1358
            },
1359
            PolicyCmd::Sign { proposal, out } => identity::policy_sign(&proposal, out),
fce44ae9 Andy McCall ↶ 1360
        },
4213c41d Andy McCall ↶ 1361
        Cmd::Seal {
1362
            changes,
1363
            proposal: Some(url),
1364
            json,
1365
        } if changes.is_empty() => proposal::seal(&url, json),
d82e4409 Andy McCall ↶ 1366
        Cmd::Seal { changes, json, .. } => identity::seal(&changes, json),
1367
        Cmd::Proposal { cmd } => match cmd {
1368
            ProposalCmd::Show { url, json } => proposal::show(&url, json),
1369
            ProposalCmd::Land { url, force } => proposal::land(&url, force),
1370
        },
2c9ddac3 Andy McCall ↶ 1371
        Cmd::Verify {
1372
            change,
1373
            revset,
1374
            json,
1375
        } => identity::verify(change.as_deref(), revset.as_deref(), json),
fce44ae9 Andy McCall ↶ 1376
        Cmd::Config { key, value, user } => identity::config(&key, &value, user),
1377
    }
1378
}
d42369ab Andy McCall 1379
1380
#[cfg(test)]
1381
mod help_tests {
1382
    use super::Cli;
1383
    use clap::CommandFactory;
1384
1385
    /// Every command and every argument explains itself, so `--help`,
1386
    /// completions and the man pages are complete.
1387
    #[test]
1388
    fn every_command_and_argument_has_help() {
1389
        fn walk(cmd: &clap::Command, path: &str, missing: &mut Vec<String>) {
1390
            let here = format!("{path} {}", cmd.get_name()).trim().to_string();
99e3e0af Andy McCall ↶ 1391
            if cmd.get_about().is_none() && !path.is_empty() {
d42369ab Andy McCall 1392
                missing.push(format!("{here} (command)"));
1393
            }
1394
            for a in cmd.get_arguments() {
1395
                let id = a.get_id().as_str();
99e3e0af Andy McCall ↶ 1396
                if id == "help" || id == "version" || (a.is_global_set() && !path.is_empty()) {
d42369ab Andy McCall 1397
                    continue;
1398
                }
1399
                if a.get_help().is_none() && a.get_long_help().is_none() {
1400
                    missing.push(format!("{here} {id}"));
1401
                }
1402
            }
1403
            for sub in cmd.get_subcommands() {
1404
                walk(sub, &here, missing);
1405
            }
1406
        }
1407
        let mut missing = Vec::new();
1408
        walk(&Cli::command(), "", &mut missing);
1409
        assert!(
1410
            missing.is_empty(),
1411
            "{} without help:\n{}",
1412
            missing.len(),
1413
            missing.join("\n")
1414
        );
1415
    }
1416
}