Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bat formula ships outdated fish completions #36116

Closed
ohcibi opened this issue Jan 17, 2019 · 3 comments · Fixed by #36157
Closed

Bat formula ships outdated fish completions #36116

ohcibi opened this issue Jan 17, 2019 · 3 comments · Fixed by #36157
Labels
outdated PR was locked due to age

Comments

@ohcibi
Copy link
Contributor

ohcibi commented Jan 17, 2019

See sharkdp/bat#372

Bat has removed its fish completions but this formula does install broken ones.

@ohcibi ohcibi changed the title Bat formular ships outdated fish completions Bat formula ships outdated fish completions Jan 17, 2019
@fxcoudert
Copy link
Member

In bat version 0.9.0, completion files are built during the bat build process (see build.rs). We are installing them because they are produced.

A pull request not to install them would be welcome. But this would be better decided upstream: if the completions are not supported, they should simply not be produced.

@ohcibi
Copy link
Contributor Author

ohcibi commented Jan 18, 2019

@fxcoudert This has already been decided upstream. See the linked issues. The one piece thats missing is this formula. The files are generated but they are not intended to be shipped automatically.

I would make sourcing those files optional for users of this formula. If I just remove the install........fish line, all generated files that are not "installed" will be removed on the next brew cleanup is that correct?

@fxcoudert
Copy link
Member

I have read the upstream issue, and the relevant commit sharkdp/bat#391 which only affects CI. This is, according to upstream, “temporary”. So clarification on the status would be welcome.

As I said, a pull request not to install the completion files is welcome.

@lock lock bot added the outdated PR was locked due to age label Feb 20, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Feb 20, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
outdated PR was locked due to age
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants