Linux Terminal

Run Linux programs on the command-line right inside of CoCalc.

To get started, create a “Terminal” file in the “Files” listing or in “+ New”.

This runs one or more shell sessions in a Frame editor.

Tips and tricks

Customize font

To change the size of the font, click the plus and minus magnification glass icons at the top of a focused terminal frame.

In order to change the appearance of the font family of the terminal, adjust the font settings of your web browser. For example, in Google Chrome this is done in SettingsAppearaceCustomize Fonts:

_images/chrome-customize-fonts.png

Then select a different fixed-width font:

_images/chrome-fixed-width-font.png