You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm working on the jupyterlab 3.0.0 and I want to apply powerline font in my jupyterlab's Terminal.
I've successfully installed powerline in my ssh terminal and it works perfectly with the font PowerlineSymbols.
However, it seems that the jupyter could not find my Powerline Font installed in system. And I've tried several Powerline font and installed them in different ways(by file directly, by pip and by apt-get).
Here is my jupyterlab setting and some powerline fonts' list.
{
// Terminal// @jupyterlab/terminal-extension:plugin// Terminal settings.// *************************************// Font size// The font size used to render text."fontSize": 14,
// Theme// The theme for the terminal."theme": "dark",
"fontFamily": "DejaVu Sans Mono for Powerline",
}
$ fc-list | grep Powerline
...
/home/my_user_name/.local/share/fonts/Roboto Mono Bold for Powerline.ttf: Roboto Mono for Powerline:style=Bold
/home/my_user_name/.local/share/fonts/Tinos Bold Italic for Powerline.ttf: Tinos for Powerline:style=Bold Italic
/home/my_user_name/.local/share/fonts/Meslo LG S DZ Bold Italic for Powerline.ttf: Meslo LG S DZ for Powerline:style=Bold Italic
/home/my_user_name/.local/share/fonts/Droid Sans Mono Slashed for Powerline.ttf: Droid Sans Mono Slashed for Powerline:style=Regular
/home/my_user_name/.local/share/fonts/Source Code Pro Powerline LightItalic.otf: Source Code Pro for Powerline,Source Code Pro Light:style=Light Italic,Italic
/home/my_user_name/.local/share/fonts/Monofur Italic for Powerline.ttf: monofur for Powerline:style=italic
/home/my_user_name/.local/share/fonts/Meslo LG S Italic for Powerline.ttf: Meslo LG S for Powerline:style=Italic
/home/my_user_name/.local/share/fonts/Meslo LG L Regular for Powerline.ttf: Meslo LG L for Powerline:style=Regular
/home/my_user_name/.local/share/fonts/ter-powerline-x14b.pcf.gz: Terminess Powerline:style=Bold
/home/my_user_name/.local/share/fonts/Arimo Italic for Powerline.ttf: Arimo for Powerline:style=Italic
/home/my_user_name/.local/share/fonts/Ubuntu Mono derivative Powerline Bold.ttf: Ubuntu Mono derivative Powerline:style=Bold
/home/my_user_name/.local/share/fonts/Space Mono Bold for Powerline.ttf: Space Mono for Powerline:style=Bold
/home/my_user_name/.local/share/fonts/Source Code Pro Powerline MediumItalic.otf: Source Code Pro for Powerline,Source Code Pro Medium:style=Medium Italic,Italic
/home/my_user_name/.local/share/fonts/DejaVu Sans Mono Bold for Powerline.ttf: DejaVu Sans Mono for Powerline:style=Bold
/home/my_user_name/.local/share/fonts/ter-powerline-x24b.pcf.gz: Terminess Powerline:style=Bold
/home/my_user_name/.local/share/fonts/Arimo Bold Italic for Powerline.ttf: Arimo for Powerline:style=Bold Italic
/home/my_user_name/.local/share/fonts/Cousine Italic for Powerline.ttf: Cousine for Powerline:style=Italic
/home/my_user_name/.local/share/fonts/Space Mono for Powerline.ttf: Space Mono for Powerline:style=Regular
/home/my_user_name/.local/share/fonts/Monofur Bold for Powerline.ttf: monofur for Powerline:style=bold
/home/my_user_name/.local/share/fonts/Inconsolata-g for Powerline.otf: Inconsolata\-g for Powerline:style=g
/home/my_user_name/.local/share/fonts/DejaVu Sans Mono for Powerline.ttf: DejaVu Sans Mono for Powerline:style=Book
/home/my_user_name/.local/share/fonts/Source Code Pro for Powerline.otf: Source Code Pro for Powerline:style=Regular
/home/my_user_name/.local/share/fonts/Cousine for Powerline.ttf: Cousine for Powerline:style=Regular
/home/my_user_name/.local/share/fonts/Tinos for Powerline.ttf: Tinos for Powerline:style=Regular
...
I wonder if there is something wrong with the fontFamily in my setting or something else.
Thanks!
The text was updated successfully, but these errors were encountered:
I've made some further test on the fontFamily in the setting file. I installed Cascadia Mono and Cascadia Mono PL.
When I set fontFamily to Cascadia Mono, the terminal changed font successfully. But this font has no powerline symbols and will display □ in my terminal.
And when I set fontFamily to Cascadia Mono PL, the font breaks just as before.
So is jupyterlab just don't support powerline fonts or I missed something important?
I finally succeed with Cascadia Mono PL, though still don't know what's the problem. Here is my current setting:
{
// Terminal// @jupyterlab/terminal-extension:plugin// Terminal settings.// *************************************// Font size// The font size used to render text."fontSize": 14,
// Theme// The theme for the terminal."theme": "dark",
"fontFamily": "Cascadia Mono PL",
}
I'm working on the
jupyterlab 3.0.0
and I want to apply powerline font in my jupyterlab's Terminal.I've successfully installed powerline in my
ssh
terminal and it works perfectly with the fontPowerlineSymbols
.However, it seems that the
jupyter
could not find my Powerline Font installed in system. And I've tried several Powerline font and installed them in different ways(by file directly, by pip and by apt-get).Here is my jupyterlab setting and some powerline fonts' list.
I wonder if there is something wrong with the
fontFamily
in my setting or something else.Thanks!
The text was updated successfully, but these errors were encountered: