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.

Sign up for GitHub

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

Jump to bottom

description at project creation needs escaping #1371

Closed
yannickmoy opened this issue Apr 20, 2023 · 0 comments · Fixed by #1495
Closed

description at project creation needs escaping #1371

yannickmoy opened this issue Apr 20, 2023 · 0 comments · Fixed by #1495
Labels
type: bug Something isn't working
Milestone
2.0

Comments

@yannickmoy
Copy link
Contributor

I could create a project with the following description stored in alire.toml which is probably not going to work:

description = "Programs from the book "Program Proofs" in SPARK"

I'll remove the quotes, but in general that may require escaping of the description.
@Fabien-Chouteau Fabien-Chouteau mentioned this issue Apr 20, 2023
Merged
@mosteo mosteo added the type: bug Something isn't working label Apr 21, 2023
@mosteo mosteo added this to the 2.0 milestone Apr 21, 2023
@mosteo mosteo mentioned this issue Nov 8, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: bug Something isn't working
Projects
None yet
Milestone
2.0
Development

Successfully merging a pull request may close this issue.

Fix bug for interactive crate descr ending with " mosteo/alire
2 participants
@mosteo @yannickmoy