![[PukiWiki]](image/robotics-logo-small.jpg "[PukiWiki]"){kind=logo}
|
松本成司 Seiji Matsumoto (matsu AT johnen.shinshu-u.ac.jp) このページでは信州大学で開講している「ロボティクス入門ゼミ」という教養（１年次）の授業用に作成した非公式のDebian LiveのUSBメモリ用(正しい名前は Live USB stick？)のディスク・イメージを配布しています。 このライブ・イメージはDebian Projectで開発されているlive-buildという便利なツールを使って作成してあります。
基本的には Xfce4 デスクトップ環境で日本語の表示・入力などができるよう必要なパッケージを追加して、 NQC と NBC/NXCという LEGO Mindstorms 用の開発環境を使えるようにしたものです。しかしこの他にも、ブラウザ (Firefox, w3m) やオフィス・スイート ( 使用は自己責任でお願いします (授業の受講生に対しては、可能な範囲でサポートします)。 もしここで配布しているイメージやこのサイトの情報を利用してなんらかの被害を被っても、松本はいかなる責任も取ることはできません (もちろん各ソフトウェアの開発者やメンテナも責任をとることはできません)。 目次 最新版のダウンロード (sid, unofficial, amd64用) †以下のイメージの置き場所は暫定的なものなので近いうちに変更するかもしれません。
改変・再配布について †上記ディスクイメージの使用・コピー・再配布は自由ですが、ライセンスに関する次の点に注意してください。 カスタマイズやビルドの方法は、本家のページや本サイト内のページを参考にしてください。 これらのディスクイメージに含まれているソフトウェアは、 以下に挙げたパッケージについては、再配布自体は条件付きで許可されているものの改変再配布が許可されていません。 詳しくは、各パッケージのコピーライト・ファイル (/usr/share/doc/*/copyright) をご覧ください。 それらは主に、Wireless LAN チップなどのfirmwareで、 バイナリで配布されていて改変禁止です。該当するチップを搭載するパソコンで使用する場合には著作権情報を必ずお読みください。
その他 contrib に含まれる以下のパッケージも収録されています。詳しくは /usr/share/doc/*/copyright をご覧ください。
ライブUSBメモリの作成 (USBメモリへのコピー) †上のライブ・イメージからライブUSBメモリを作成する方法を説明します。 USBメモリ内のデータはすべて消去されますので必要なファイルがあれば必ずバックアップをとってください。 以下の説明では不十分だと感じた方は、本家のページ
GNU/Linux 上 †USBメモリをマウントしていない状態で dd を使ってイメージを書み込みます。 dd if=イメージファイル名 of=デバイス名 (例) dd if=zukuless-live-amd64-20200417.hybrid.iso of=/dev/sdb bs=4M ここで「イメージファイル名」はダウンロードしたイメージのファイル名で、「デバイス名」は /dev/sdb などのUSBメモリのデバイス名です (ここでのデバイス名は /dev/sdb1 のようなパーティション番号まで含んだものではなくデバイスまるごとの名前です)。デバイス名が分からない場合には /dev/disk/by-id/ にあるリンクを参考にしてください。 イメージをコピーすると、ライブシステム用のパーティションと起動用のパーティションができます (例えば /dev/sdb1と/dev/sdb2)。この状態でも読み込み専用のライブシステムとして使えますが、ユーザのデータ保存用のパーティションを作成する場合には、さらに以下のような作業が必要です。
wheezy以降の場合、基本的には、ext2, ext3またはext4のパーティションにpersistenceというボリューム名をつけ、そのトップにpersistence.conf というファイルを置きます。そしてこの中に保存したいディレクトリを記述します。 さて、一本のUSBメモリで済ます場合には、cfdisk などのパーティション操作のツールでさらにホーム用のパーティションを追加します。 cfdisk デバイス名 (例) sudo cfdisk /dev/sdb ここでも「デバイス名」は /dev/sdb のようなデバイスまるごとの名前です。 ホーム用のパーティションを追加したら、そのパーティションを ext4 (または ext2, ext3) でパーティションの初期化して persistence というボリューム名をつけます。 sudo mkfs.ext4 デバイス名 -L persistence (例) sudo mkfs.ext4 /dev/sdb3 -L persistence ここの「デバイス名」は /dev/sdb3 のような追加したパーティションのデバイス名です。 さらにこのパーティションをマウントしてpersistence.confを作成します。 (例) sudo mount /dev/sdb3 /mnt sudo echo '/home' > /mnt/persistence.conf sync;sync;sync; sudo umount /mnt この例では、/home を保存するように設定しました。 ルート以下をすべて保存する場合には / union と書き込みます。 これでライブUSBメモリのできあがりです。ユーザのデータや設定もちゃんと保存できます。 ライブ・システムの入ったUSBメモリとは別にユーザ・データ用のUSBメモリ (やハードディスクなど) を用意できる場合には、そのUSBメモリのパーティションを上と同様に persistence というボリューム名をつけて初期化してください。 新品のUSBメモリや Windows, Mac などで使っていたUSBメモリであれば、デバイスまるごとが最初のパーティションになっているはずなので (もともとパーティションが切られているはずなので) 単に mkfs.ext4 デバイス名 -L persistence (例) mkfs.ext4 /dev/sdc1 -L persistence のような感じで初期化して、上の要領で persistence.conf を作成しておけばよいと思います。 Windows上、macOS上 †Etcherというオープンソースの書き込むツールを使うと簡単にイメージをUSBメモリにコピーできまう。 開発元のサイト https://www.balena.io/etcher/ からダンロードしてしてください。 ライブCDの作成 †GNU/Linux 上 †cdrecord や wodim を使えばコマンド一発で書き込めます。例えば wodim -eject ISOイメージファイル名 持続的なホーム・ディレクトリが必要な場合は、上記のUSBメモリについての説明を参考にしてください (persistence というボリューム名のパーティションを用意して persistence.conf を作成)。 Windows上 †ISOイメージからCDを作成できるCD/DVDライティングツールを使ってください。 MacOS上 †ライブシステムの使い方 †授業用に作成した「DebianLive/使い方」を参考にしてください。 |
