Function join_workspace_path

core/src/workspace/s3.rs:968–974

Join `base` and a key relative to its S3 prefix into a workspace-relative [`WorkspacePath`]. Handles the "base is root" case so the result does not start with `./`.

(base: &WorkspacePath, rel: &str)

/// [`WorkspacePath`]. Handles the "base is root" case so the result does not
/// start with `./`.
fn join_workspace_path(base: &WorkspacePath, rel: &str) -> WorkspacePath {
    if base.is_root() {
        WorkspacePath::from_normalized(rel)
    } else {
        WorkspacePath::from_normalized(format!("{}/{}", base.as_str(), rel))
    }
}

/// Last segment of a slash-separated key, used to apply filename-only glob
/// filters in `grep` (matches `ignore::types` semantics from the local