How to use the material and how to solve common problems.
All materials (c) 2020-2024 by CSC – IT Center for Science Ltd. This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 Unported License, http://creativecommons.org/licenses/by-sa/4.0/
shift
to open links with additional information in a new windowtop
command to get rough estimate of memory use, etc.$HOME
and add your commands there
grep
later is quick (grep them $HOME/vault
)
bash
history is nice, but it keeps also the commands that didn’t work…cat > $HOME/vault
)$HOME/bin
and take backups