Skip to content

[mini.diff] Add customization options to gen_source.git #2200

@zelch

Description

@zelch

Contributing guidelines

Module(s)

mini.diff

Description

My use case is fairly straight forward: I use yadm (Yet Another Dotfiles Manager), and I want mini.diff to work reliably.

yadm is essentially a wrapper around git where the repo directory and the work directory differ.

Currently, I'm doing a copy and paste of all of the git functionality from mini.diff to create a yadm source, and replacing all of the references to git with yadm, but that's a pain to maintain, and really, it should be unnecessary.

The only thing that I need to be able to customize is the git command itself, though, if I were implementing this as a general thing, I'd add the ability to add custom arguments to all command runs as well.

Ideally, I would be able to do something like:

      source = {
        MiniDiff.gen_source.git(),
        MiniDiff.gen_source.git({git_cmd = "yadm"}),
        MiniDiff.gen_source.save(),
      },

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions