情報実験機 OS(Debian GNU/Linux) インストールマニュアル

[1.1] この文書について

この文書は 2024 年度前期の情報実験(INEX)で使用される計算機 (3n+1, 3n+2 機材)に Debian GNU/Linux 12.5 (bookworm) をインストールするための手引きである．

事前準備

Debian GNU/Linux のバージョン 12.5, bookworm を情報実験で用いる．

bookworm とは Debian のバージョンのコードネームである (ちなみにコードネームはトイストーリーのキャラクター名を採用している).

Debian JP Project bullseye インストーラの「netinst CD image」から「amd64」をダウンロードする (ダウンロードしたファイルを以下では iso ファイルと呼ぶ).
```
$ wget https://cdimage.debian.org/debian-cd/current/
amd64/iso-cd/debian-12.5.0-amd64-netinst.iso
```

[1.2] isoファイルを USB に書き込む方法

挿した USB のデバイス名を調べる.
- 下の例では USB のデバイス名は /dev/sdb, 機材によって異なる場合があるので, USB を抜き差しして確認する. 実際に抜き差しすると,以下のような通知が出る.
```
[16130.043501] sd 5:0:0:0: [sdb] No Caching mode page found
[16130.043500] sd 5:0:0:0: [sdb] Assuming drive cache: write through
```
- 補足
  sdb の sd とは, Scsi Disk の略である. Scsi (スカジー) とは, コンピュータに外部記憶装置などの周辺機器をつないで通信するための接続方式の一つである. 周辺機器を接続すると, sd に続いて a から順にデバイス名がつけられていく.

また以下のコマンドを打つことでも確認できる. この場合も, /dev/sdb が USB のデバイス名となる.

# fdisk -l
Device     Boot     Start       End   Sectors   Size Id Type
/dev/sda1  *         2048 944478207 944476160 450.4G 83 Linux
/dev/sda2       944480254 976771071  32290818  15.4G  5 Extended
/dev/sda5       944480256 976771071  32290816  15.4G 82 Linux swap / Solaris

Device     Boot  Start    End Sectors  Size Id Type
/dev/sdb1  *         0 454655  454656  222M  0 Empty
/dev/sdb2       151000 151895     896  448K ef EFI (FAT-12/16/32)

以下のコマンドを打鍵し, USBメモリに焼く. ddコマンドはファイルをコピーするコマンドで, 「dd if='入力ファイル' of='出力ファイル'」のように用いる. status=progress は進捗状況を表示するオプション.
```
# dd if=debian-12.5.0-amd64-netinst.iso of=/dev/sdb status=progress
```
また, 上記の代わりに以下のコマンドを打鍵しても USBメモリに焼くことができる. ※sync コマンドが終了するまで待つこと.
```
# cat debian-12.5.0-amd64-netinst.iso > /dev/sdb 
# sync 
```
現在立ち上げているOS をシャットダウンする．
```
# halt -p 
```

[1.3] Debian GNU/Linux 12.5 (bookworm) インストール手順

本体とディスプレイの電源を入れる, この際作成した USBメモリも本体に挿しておく.
DEL キーもしくは F2 キーを打鍵し, UEFI BIOS セットアップメニューを起動 (一瞬で画面が切り替わるため, DEL もしくは F2 キーを連打すると良い).

「ブートメニュー(F8)」をクリック (起動順位を設定しなくても直接ブートすることが可能となる).

「ブートメニュー」が表示されたら, 起動に使用するメディアを選択し, クリック (今回は USBメモリなので, "UEFI : UFD 2.0 Silicon-Power4G (3748MB)"). ちなみに UFD とは USB Flash Drive を指す.

インストール画面が起ち上がるので, インストールメニューの[graphical install] を選択して Enter を打鍵.

言語の選択

「Japanese 日本語」を選択

場所の選択

「日本」を選択

キーボードの設定

「日本」を選択

ネットワークの設定

自動でネットワークの設定が始まる.
ネットワークインターフェースは「enp6s0: Intel Corporation XXXXXXX Gigabit Network Connection」を選択 (拡張スロットに挿入されているNICを選択). (ネットワークカードは拡張スロットに挿入されているものの他, オンボード・タイプのNICも認識されているので, eth1 の数字部は変わる可能性がある.)