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

Add an option to disable unicode when printing the SAW logo #592

Closed
atomb opened this issue Nov 19, 2019 · 0 comments · Fixed by #671
Closed

Add an option to disable unicode when printing the SAW logo #592

atomb opened this issue Nov 19, 2019 · 0 comments · Fixed by #671
Assignees
@chameco
Milestone
0.5

Comments

@atomb
Copy link
Contributor

atomb commented Nov 19, 2019

Some platforms, including the default Windows and Docker configurations, have trouble with unicode characters. We should add an option to display a logo using purely ASCII characters. This would provide at least a workaround for #288, in the absence of a real solution.
@atomb atomb added this to the 1.0 milestone Nov 19, 2019
@chameco chameco self-assigned this Apr 8, 2020
@chameco chameco mentioned this issue Apr 9, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chameco chameco

Labels
None yet
Projects
None yet
Milestone
0.5
Development

Successfully merging a pull request may close this issue.

Add an option to print an ASCII logo without color GaloisInc/saw-script
2 participants
@atomb @chameco