Patrick Emonts
Patrick Emonts
Home
Education
Publications
Blog
Contact
Light
Dark
Automatic
Linux
SLURM
SLURM is a workload manager for clusters. It is distributes computing jobs to the available resources and makes sure that everybody gets a fair amount of computing resources.
Patrick Emonts
Last updated on Mar 11, 2024
7 min read
SSH
SSH is the default protocol to get shell access to other machines in a networks, e.g. a cluster. Many tricks make working with SSH much easier. Here, we are going to discuss a couple of them.
Patrick Emonts
Last updated on Mar 11, 2024
9 min read
Tmux
Tmux is a terminal multiplexer, hence the name. It is meant to make working with remote computers via SSH more enjoyable. And it really delivers!
Patrick Emonts
Last updated on Jan 2, 2024
5 min read
Bash Setup
Working with the command line can make your life considerably easier, or it can be a major pain. For me, one of the essential points is a good setup of my bash.
Patrick Emonts
Last updated on Feb 27, 2024
7 min read
Bash Shortcuts
When working in the terminal, the mouse is usually not very useful. Here are a couple of useful shortcuts when working in the terminal.
Patrick Emonts
Last updated on Nov 28, 2023
3 min read
Command Line: More powerful than you might think
The UNIX command line is a powerful tool. It can do much more than just executing programs and renaming files. Here, we have a quick dive into some functions that can make your everyday life much easier
Patrick Emonts
Last updated on Nov 18, 2023
8 min read
Git -- Introduction
Software is usually not written top to bottom, but developed and improved over time. Version management tools help developers to keep track of changes, synchronize and publish software. Git is the most widespread tool.
Patrick Emonts
Last updated on Dec 18, 2023
10 min read
Cite
×