Connecting to Linux Using SSH

To connect to a remote Linux computer that offers an ssh server, use

ssh firstname.lastname@sandbox.bulme.at  # use your domain

Downloading Data

To download files to your user account on the remote machine, one can use the wget command with the url to download. For example

wget https://github.com/HTL-Bulme/c_free_store/archive/refs/heads/main.zip

To extract files, use the appropriate commands depending on the type of archive. For example

unzip main.zip
tar xf main.tar.gz

Editing Files

There are many text editors available on the Linux shell. These include emacs, jed, micro, nano, vi and vim. To edit a file, type the name of the editor followed by the name of the file. For example

micro infile.c

For beginners, I recommend using micro as it is easy to use, yet powerful. Using the key combination Alt-g (as shown in the bottom right) opens a little help menu. Like many modern GUI programs, Ctrl-s saves a file and Ctrl-q closes the current tab / window.

Multiplexing the Terminal

A terminal multiplexer enables a number of terminals to be created, accessed, and controlled from a single screen. It may be detached from a screen and continue running in the background, then later reattached. Hence, when working with a terminal multiplexer, occasional disconnects are less problematic as the multiplexer can be reattached after reconnecting.

Start the terminal multiplexer

tmux
  • create a new window: Ctrl+b c
  • switch to window n (where n is the number of the window): Ctrl+b n

To detach tmux, one can either close the terminal window or use Ctrl+b d. When logging in to a machine with a running tmux session, type

tmux attach 

or just tmux a to reattach to the existing session.