search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

Disable the patchbot banner if desired #78

Closed embray closed 8 years ago

embray commented 8 years ago

It is necessary to disable the unicode art banner in some cases--particularly when running the patchbot in a Docker container on windows, which has problems with certain characters. See for example http://trac.sagemath.org/ticket/20322 where this problem came up in the case of sage's startup banner. However, the patchbot's banner has the exact same issue. So it would be good for now to have an option to disable it.

fchapoton commented 8 years ago

I have done myself that in the master branch, cleaning the options at the same time

embray commented 8 years ago

Thanks! (cf5db0223e6b42990625a19c684b411803dc4919 for reference)