Nima Nooshiri
Nima Nooshiri

Reputation: 65

JupyterLab: How to customize bash terminal?

How can I change font-family and font-size in bash terminal in Jupyter-Lab?

Upvotes: 0

Views: 1225

Answers (1)

krassowski
krassowski

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:

enter image description here

Upvotes: 1

Related Questions