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

Include "module" in ctags #24584

Closed
wants to merge 1 commit into from
Closed

Include "module" in ctags #24584

wants to merge 1 commit into from

Conversation

mauro3
Copy link
Contributor

@mauro3 mauro3 commented Nov 12, 2017

This also adds the module-names to the TAGS file.

This also adds the module-names to the TAGS file.
@ararslan
Copy link
Member

Seems like the ctags stuff should live outside of Base.

@ararslan ararslan added the status:triage This should be discussed on a triage call label Nov 14, 2017
@mauro3
Copy link
Contributor Author

mauro3 commented Nov 15, 2017

JuliaEditorSupport/Julia-ctags ?

@StefanKarpinski
Copy link
Sponsor Member

I don't think this needs triage. This should be moved out but contrib is not a public part of Julia's API – anything in there can be changed, moved or deleted at any time.

@StefanKarpinski StefanKarpinski removed the status:triage This should be discussed on a triage call label Nov 15, 2017
@oxinabox
Copy link
Contributor

I suggest it should be added to the actual upstream CTags repo.
(is that https://github.com/universal-ctags/ctags ?)

And then linked in https://github.com/JuliaEditorSupport/3rd-Party-Highlighters

@ViralBShah
Copy link
Member

ViralBShah commented Nov 25, 2017

@mauro3 Can you help with moving the ctags out of contrib and into a new repo for now, and potentially upstream (although that may be more effort but ultimately better). Totally understand that this may be more effort than you may want into put into this issue too.

@mauro3
Copy link
Contributor Author

mauro3 commented Nov 25, 2017

Can do. Probably best to do a PR with https://github.com/universal-ctags/ctags as suggested by @oxinabox, but after feature freeze; just in case Jeff has another crazy idea (#19157).

@ViralBShah
Copy link
Member

How about we move this file to a repo in JuliaEditorSupport for now?

@ViralBShah
Copy link
Member

https://github.com/JuliaEditorSupport/julia-ctags

Invited you @mauro3. Would you mind moving the file over? I am closing this one.

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.

None yet

5 participants