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

[1.1] この文書について

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

事前準備

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

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

jessie のインストーラのダウンロード(ダウンロードしたファイルを以下ではiso ファイルと呼ぶ)．
```
$ wget http://www.ep.sci.hokudai.ac.jp/~inex/y2017/0616/iso/debian-8.8.0-amd64-netinst.iso  
```
今年度はDebian のサーバへのアクセス集中を避けるため，専攻サーバにiso ファイルをダウンロードし，格納した．(2017/06/13 現在)
最新版に関しては，Debian "jessie" インストールCD/DVD用イメージを参照のこと．

[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

また以下のコマンドを打つことでも確認できる. この場合も, /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メモリに焼く.

# cat debian-8.8.0-amd64-netinst.iso > /dev/sdb 
# sync

現在立ち上げているOS をシャットダウンする．
```
# halt -p 
```

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

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

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

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

インストール画面が起ち上がるので, インストールメニューの[graphical install] を選択して Enter を打鍵.
下の画像はDebian 8.0.0 になっているが気にしないでください．

言語の選択

「Japanese 日本語」を選択

場所の選択

「日本」を選択

キーボードの設定

「日本」を選択

ネットワークの設定

ネットワークインターフェースは「eth1: Intel Corporation XXXXXXX Gigabit Ethernet Controller」を選択 (拡張スロットに挿入されているNICを選択). (ネットワークカードは拡張スロットに挿入されているものの他, オンボード・タイプのNICも認識されているので, eth1 の数字部は変わる可能性がある.)
- ネットワークの自動設定は成功する場合もあるが，必ず手動で設定.
- 成功した場合，戻るボタンを押すと以下のような画面が出てくる．