Reputation: 65
How can I change font-family
and font-size
in bash terminal in Jupyter-Lab?
Upvotes: 0
Views: 1225
Reputation: 15419
If it's a crucial feature for you, you could install a development version of JupyterLab, navigate to settings and there modify a JSON configuration file for the terminal. I hope that this version will be released soon. See:
Upvotes: 1