Skip to content

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

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(),
      },

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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