[Fix #713] Set prompt theme off in unsupported terminal
parent
d020d34e59
commit
ab7f697734
Loading…
Reference in new issue