Skip to content

Add grep-sources command#1

Open
terceiro wants to merge 1 commit intoajkaijanaho:masterfrom
terceiro:grep-sources
Open

Add grep-sources command#1
terceiro wants to merge 1 commit intoajkaijanaho:masterfrom
terceiro:grep-sources

Conversation

@terceiro
Copy link
Copy Markdown

It will use as input the contents of all the source repositories present in the system.

It will use as input the contents of all the source repositories present
in the system.
@terceiro
Copy link
Copy Markdown
Author

terceiro commented Dec 2, 2016

hi, any chance we get this for stretch?

@terceiro
Copy link
Copy Markdown
Author

terceiro commented Sep 25, 2017

Hi, any chance we get this in a new release?

I was just using a new machine where the local build of dctrl-tools I used to have is no longer available, and remembered this.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant