ОС для студентов

Образ виртуальной машины предназначен для студентов и содержит программное обеспечение, необходимое для выполнения лабораторных работ в среде GNU/Linux. Система основана на дистрибутиве Guix («Гикс») и содержит только свободное программное обеспечение.

Образ предназначен для использования в программе виртуализации VirtualBox.

Особенности

Русский язык и раскладка клавиатуры по умолчанию (переключение по Alt-Shift).
Для уменьшения аппаратных требований используется оболочка Xfce.
Включено ПО, используемое в учебном процессе:
- Emacs (включая те же расширения и настройки, что и на компьютерах вычислительной системы ИМИТ),
- GCC,
- GDB,
- GNU Make,
- Kdbg,
- Racket,
- Glade,
- системы контроля версий.

Скачать

Виртуальная машина в формате OVA для VirtualBox (обновлено 2.09.2022)

Контрольные суммы

Для использования нужно скачать, установить и запустить VirtualBox, нажать «Импортировать» и указать скаченный OVA-файл.

Доступ к домашнему каталогу в вычислительной системе ИМИТ

Из файлового менеджера: ввести в адресную строку sftp://user@kappa.cs.petrsu.ru/home/nn/user, где user — имя пользователя, nn — номер раздела домашних каталогов (01, 02, 03 или 04). Здесь и далее вместо kappa.cs.petrsu.ru можно писать просто kappa (псевдоним определен в файле ~/.ssh/config).

Для копирования отдельных файлов можно использовать команду scp. С сервера в локальную систему:

scp user@kappa.cs.petrsu.ru:путь/к/файлу каталог/назначения

Локальный файл на сервер:

scp путь/к/файлу user@kappa.cs.petrsu.ru:каталог/назначения

Для рекурсивного копирования каталогов нужно добавить ключ -r.

В Emacs можно использовать команду открытия файла (C-x C-f), ввести в качестве пути /ssh:user@kappa.cs.petrsu.ru:путь/к/файлу. Команды компиляции (M-x compile), отладчик (M-x gdb) и шелл (M-x shell) в этом случае также будут выполняться на удаленной системе, что может быть неудобно в случае недостаточно быстрой и надежной работы сети. Также этот способ доступа можно использовать в Емаксе, установленном в другой ОС (например, Windows или Mac OS X), без необходимости устанавливать локально остальные средства разработки (см. краткое руководство по Emacs).

32-битный компилятор

Вместо gcc -m32 (используется в курсе «Введение в архитектуру ЭВМ») используйте команду gcc32.

Исходный код

Файлы конфигурации и инструкции для создания образа виртуальной машины размещены в репозитории. Получение локальной копии:

git clone https://dev.cs.petrsu.ru/kryshen/student-vm.git