Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Saving as RDF/XML automatically appends the .rdf extension #1087

Closed
matentzn opened this issue Dec 7, 2022 · 1 comment
Closed

Saving as RDF/XML automatically appends the .rdf extension #1087

matentzn opened this issue Dec 7, 2022 · 1 comment
Assignees
@gouttegd
Labels
Type: Enhancement A request for a change that is an enhancement
Milestone
Protégé 5.6.1

Comments

@matentzn
Copy link

matentzn commented Dec 7, 2022

Saving as RDF/XML automatically appends the .rdf extension, but this is unfortunate for us.

When an extension is provided by the user (.xyz), Protege should not add additional extensions to the end.

@gouttegd can you create a milestone and add this issue to it?
@gouttegd gouttegd added this to the Protégé 5.6.1 milestone Dec 7, 2022
@gouttegd
Copy link
Collaborator

gouttegd commented Dec 7, 2022

Setting that as a target for 5.6.1 as I don’t think this should be a stopper for the long overdue 5.6.0.

@gouttegd gouttegd self-assigned this Dec 7, 2022
@gouttegd gouttegd added the Type: Enhancement A request for a change that is an enhancement label Dec 7, 2022
@gouttegd gouttegd mentioned this issue Feb 15, 2023
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@gouttegd gouttegd

Labels
Type: Enhancement A request for a change that is an enhancement
Projects
None yet
Milestone
Protégé 5.6.1
Development

No branches or pull requests
2 participants
@matentzn @gouttegd