# firmware firmware-linux amd64-microcode intel-microcode firmware-iwlwifi firmware-brcm80211 firmware-realtek # system systemd-timesyncd locales zstd wpasupplicant wireless-regdb # desktop gnome-core xdg-user-dirs-gtk network-manager-gnome # needed for ejecting UBS sticks in nautilus eject # shell utilities htop unzip # software for participants firefox-esr chromium-l10n codeblocks emacs geany gedit joe kate kdevelop nano vim vim-gtk3 gcc g++ gdb ddd valgrind python3 pypy3 evince gnome-terminal konsole xterm byobu make cmake nautilus-extension-gnome-terminal file-roller # video codecs for grader gifs libavcodec59 # for drawing on screenshots drawing # documentation info manpages-dev gcc-doc gdb-doc # from third-party repositories sublime-text code # requested by participants (gnome-tweaks can be used e.g. to change the function of Caps Lock key) gnome-tweaks fonts-firacode # translations manpages-de manpages-fr manpages-it gcc-12-locales firefox-esr-l10n-de firefox-esr-l10n-fr firefox-esr-l10n-it