Coder.com•3mo ago

web terminal font, want to change

I have just created a fresh Debian 12 instance and loaded Coder on it. Then created a standard “docker” template and opened it up in the provided web terminal. The font that is being used is “DejaVu Sans”. How do I change the web terminal to use a different font; I want to use a Nerd Font. Thanks

2 Replies

Codercord•3mo ago

<#1292954884609671208>

Category

Help needed

Product

Coder OSS (v2)

Platform

Linux

Logs

Please post any relevant logs/error messages.

sharkymark•3mo ago

Look at the coder_agent script, it is copying a .bashrc that sets colors. you can change or adjust as you like.

    if [ ! -f ~/.init_done ]; then
      cp -rT /etc/skel ~
      touch ~/.init_done
    fi

    if [ ! -f ~/.init_done ]; then
      cp -rT /etc/skel ~
      touch ~/.init_done
    fi

In your running workspace, inspect .bashrc

Gaming

Programming

web terminal font, want to change

Did you find this page helpful?