это студенты, очень любопытние, кстати. если они принесут свой комп - за милую душу настрою им и объясню, что к чему. иначе, не стоит в учебном кабинете ставить ПО, не входящее в их программу обучения. для таких развлечений есть виртуальная лаборатория.
Что-то вспомнил, как несколько месяцев на 3.5мм дискетах носил в школу части какой-то игры, лол.
Они всегда есть для: /run/current-system (текущей системы), /run/booted-system (загруженной системы, чтобы всегда можно было откатиться если в новой системе сломано ядро или ещё какой компонент загрузки), /nix/var/nix/profiles/* . И ещё nix-build/nix build автоматически добавляет GC roots для каждого симлинка result.