How to use the material and how to solve common problems.
All materials (c) 2020-2025 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