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(wherenis 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.