RPi OS インストール

Raspberry Pi Imager を利用して Windows 端末で microSD カードに Raspberry pi OS をインストールする手順です。

準備するもの

前提として、インターネット接続環境があり、それぞれの機械が故障していないものとします。

Windows 端末

No名称備考
1Windows 端末 一式
2microSD カードライタ

Raspberry Pi 端末

No名称備考
1Raspberry Pi 3 Model B
2USB 電源
3microSD カード(16GB 以上のもの)

Windows 端末作業

基本的には、こちらの公式サイトにある作業を行います。
https://www.raspberrypi.com/documentation/computers/getting-started.html

Windows 端末

このページで紹介する手順は Windows 11 端末で実行しました。
Windows 環境
Windows 環境

Raspberry pi Imager ダウンロード

Windows 端末であれば、Windows 端末用の Raspberry Pi Imager をダウンロードします。
Raspberry Pi OS – Raspberry Pi

今回は、2023.7.9 時点で最新版だった v1.7.5 を利用しています。

Raspberry Pi Imager インストール

ダウンロードした「imager_1.6.2.exe」をダブルクリックして、起動するウィザードに従ってインストールします。
インストール開始
インストール開始

Install をクリックして、Raspberry Pi Imager のインストールを開始します。

進捗
進捗

進捗状況が表示されます。

起動
Raspberry Pi Imager 起動

インストールが完了したら、Raspberry Pi Imager を起動するボタンにチェックをつけたまま Finish をクリックします。
これで Raspberry Pi Imager が起動します。

Raspberry Pi Imager

起動

以下の画面で「OSを選ぶ」を選択します。
Raspberry Pi OS Imager
RPi OS Imager

OS

以下の画面で「Raspberry Pi OS (32-bit)」を選びます。
OS select
RPi OS Imager

ストレージ

以下の画面で、適切なストレージを選びます。
「OSを選ぶ」ボタンが、選択した OS の名前に変わります。
Storage
RPi OS Imager

ストレージ選択

差し込んだ MicroSD カードを選びます。
今回は 32GB の microSD カードを差しているので、E ドライブとしてマウントされている 31.3GB のものを選びます。
Storage select
RPi OS Imager

詳細な設定

「ストレージを選ぶ」ボタンが、選択したストレージに変わっています。

以下の画面で、右下のギアボタンを選びます。
Gear Button
RPi OS Imager

詳細な設定画面の表示

ここでは、必要に応じて入力します。
ホスト名
適切なホスト名を入力します。
SSH setting
RPi OS Imager
SSH 有効化
別途設定が不要になるので、ここで SSH 設定をしておきます。
SSH setting
RPi OS Imager
アカウント設定
デフォルトだった pi ユーザの代わりに、利用するユーザー名とパスワードを指定します。
Account
RPi OS Imager
Wi-Fi 設定
必要であれば設定します。
(サーバ利用であれば、基本的には不要なはずですが)
Wi-Fi setting
RPi OS Imager
ロケール設定
地域は設定しておくと、いろいろ表示周りがスッキリするので、指定しておきます。
Locale setting
RPi OS Imager
永続的な設定
変更不要です。

そのまま保存を選択します。
Eternal setting
RPi OS Imager

データ削除の確認

microSD カードに入っているデータを消して OS 設定しても良いかの確認を行います。
続けなければ OS インストールできないので、「はい」を選択します。
Delete announce
RPi OS Imager

表示確認

インストールの進行状況が表示されるので、興味があれば見ておきます。
Wriging progress
RPi OS Imager

終了処理

以下の画面が表示されたら「続ける」を選択します。
End
]

終了

最初の画面に戻るので、右上の「×」を選択してアプリを終了させます。
Raspberry Pi OS Imager
RPi OS Imager

microSD カードの入れ替え

microSD カードを、Windows 端末の SD カードリーダから、Raspberry Pi に差し替えます。

dhcp 環境であれば、電源を入れたあと、ネットワークからアクセス可能になっています。

接続確認

dhcp 環境の場合、ネットワーク上から Raspberry Pi を探す必要があります。

参考までに、MAC アドレスのベンダー ID を記載しますが、Raspberry Pi の MAC アドレスは増えることがあります。

MAC アドレスのベンダー ID
https://udger.com/resources/mac-address-vendor-detail?name=raspberry_pi_foundation
範囲備考
28:CD:C1:xx:xx:xx
B8:27:EB:xx:xx:xx
D8:3A:DD:xx:xx:xx
DC:A6:32:xx:xx:xx
E4:5F:01:xx:xx:xx

Windows プロンプト

コマンドプロンプトを起動して、ブロードキャストアドレス宛てに ping を送信して、arp を参照します。
> ping 192.168.x.255
> arp -a

ssh ログイン

Tera Term 等でリモートログインします。
Tera Term についての詳細は Tera Term の使い方 を参照してください。

2021/11/03(水)GitHub 登録鍵の更新

2021/11/03 14:02 その他::メモ

GitHub 登録鍵の更新


更新のきっかけ

GitHub 公式から、次のような感じのメールを受け取りました。
Hi @kjimba,

We noticed your personal access token "(トークン名)" with notifications and repo scopes will expire in 6 days.

If this token is still needed, visit https://github.com/settings/tokens/669610437/regenerate to generate an equivalent.

If you run into problems, please contact support by visiting https://github.com/contact?tags=dotcom-accounts

Thanks,
The GitHub Team
見た瞬間、新手のフィッシングメールかなにかかと思った……。

本物のようなので、対応します。

更新作業

基本的には、GitHub 公式の手順に従えばいいですね。

案内文にあったリンクから、更新方法のページに移動して、内容を参照します。
https://docs.github.com/ja/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent

新しい鍵の作成

鍵生成
新しく登録する鍵を生成します。

以下のメールアドレス name@example.com は、実際には GitHub に登録しているメールアドレスを使っています。
$ ssh-keygen -t ed25519 -C "name@example.com"
Generating public/private ed25519 key pair.
Enter file in which to save the key (/home/jimba/.ssh/id_ed25519):

鍵を置く場所がデフォルトでいいか聞かれたのですが、変更したいので /home/jimba/.ssh/keys/git/id_ed25519 を入力しました。
これは、そもそも私が以前の鍵を置いている場所なので、ディレクトリが存在します。

次に、パスフレーズを聞かれるので入力します。

Enter passphrase (empty for no passphrase): ***
Enter same passphrase again: ***

実際は 3 文字ではないですが……任意のパスフレーズを入力します。

フィンガープリント等が表示されたので、作成できたようです。
念のためファイルを確認します。

jimba ~/.ssh/keys/git $ ll
合計 20
-rw------- 1 jimba pi  419 11月  3 12:21 id_ed25519
-rw-r--r-- 1 jimba pi  104 11月  3 12:21 id_ed25519.pub
-rw------- 1 jimba pi 3434  5月 21 23:39 id_rsa
-rw-r--r-- 1 jimba pi  748  5月 21 23:39 id_rsa.pub
drwxr-xr-x 2 jimba pi 4096 11月  3 12:13 old

きちんとできていました。

id_ed25519.pub は公開鍵なので、GitHub に登録するために中身を確認しておきます。
$ cat id_ed25519.pub
ssh-agent 登録
さて、次に ssh-agent に登録のようです。

$ eval "$(ssh-agent -s)"
$ ssh-add ~/.ssh/keys/git/id_ed25519

これで登録できました。
ssh-agent 確認
確認コマンドは、次の通り。

$ ssh-add -l
256 SHA256:******************** name@example.com (ED25519)

いろいろ伏せてますが、こんな感じで表示されます。
鍵の保管場所を変更していなければ、これで鍵作成の作業は完了だと思います。

私の場合、いままで ssh-agent に登録していなかったので ssh-agent への登録作業はこれで終わりです。
すでに登録しているものがある人は、削除が必要だと思います。

利用する鍵の変更

GitHub 登録鍵の変更
これもいくつか方法がありますが、ブラウザで更新しました。
https://docs.github.com/ja/authentication/connecting-to-github-with-ssh/adding-a-new-ssh-key-to-your-github-account

GitHub へアクセスして、プロフィール画像から Setting へアクセスします。
「SSH and GPG keys」へ移動して「New SSH key」ボタンで、上記で確認した公開鍵の内容をコピペします。
ちなみに、タイトルは自分でわかるものを任意で入力します。

「Add SSH key」ボタンで、入力内容を登録します。パスフレーズの入力画面が出てきたら、入れます。
config 変更
私の場合は、利用する鍵の保管場所がデフォルトではないので、config を変更します。
今回、ssh-agent に登録したので不要になったのかもしれませんが……それはあとで確認 *1 しておきます。
$ cd ~/.ssh
$ [ -d old ] || mkdir old
$ cp -p config old/config_$(date +%Y%m%d)
$ diff config old/config_$(date +%Y%m%d)
$ vi config
(既存の鍵を ~/.ssh/keys/git/id_ed25519 に変更)
$ diff config old/config_$(date +%Y%m%d)
5c5
<       IdentityFile    ~/.ssh/keys/git/id_ed25519
---
>       IdentityFile    ~/.ssh/keys/git/id_rsa

全体を確認すると、次の通り。

$ cat config
ServerAliveInterval 60

Host github github.com
        HostName        github.com
        IdentityFile    ~/.ssh/keys/git/id_ed25519
        User            git

疎通確認

GitHub に正しく設定できているか、テストします。
https://docs.github.com/ja/authentication/connecting-to-github-with-ssh/testing-your-ssh-connection
$ ssh -T git@github.com
Hi kjimba! You've successfully authenticated, but GitHub does not provide shell access.
問題ないようです。

古い鍵の削除

利用しなくなった鍵は自動で削除される *2 っぽいですが、念のため自分で古い公開鍵を削除しておきます。

GitHub へアクセスして、プロフィール画像から Setting へアクセスします。
「SSH and GPG keys」へ移動して、削除したい鍵の「Delete」ボタンで、古い公開鍵が削除できます。

本当に削除してよいのか聞かれるので、削除したい鍵であることを確認の上で「I understand, plase delete this SSH key」ボタンで削除します。

違っていた場合は、×ボタンで閉じればよいです。

*1 : ここでは、行った作業を記録する目的で記載しています。

*2 : SSH キーを 1 年間使っていない場合、セキュリティ上の理由により GitHub は使われていない SSH キーを自動的に削除するとの記載あり。

2021/10/27(水)電話系 IPアドレス

2021/10/27 17:59 その他::メモ

電話系通信用 IP アドレス帯域について

スマホなど、電話系の通信を制限(許可or拒否)したいときに利用するので、電話系の IP アドレスは公開されている。
また、どこを参照すればいいのか案内するようなサイトも、いくつも見つかる。
https://www.ipvx.info/2015/02/open_multi_cidr2_merge/

ここでは、その情報と、Whois gateway での探し方をまとめている。


nttdocomo

公開範囲

企業が、ユーザのネットワーク通信用に使用していると公開している IP アドレス範囲。
https://www.nttdocomo.co.jp/service/developer/smart_phone/spmode/

取得範囲

企業が取得している IP アドレスの範囲。
(Whois gateway での検索ワード)
http://whois.nic.ad.jp/cgi-bin/whois_gw
項目ワード
ネットワーク情報(組織名、Organization)NTT DOCOMO,INC.

KDDI

公開範囲

企業が、ユーザのネットワーク通信用に使用していると公開している IP アドレス範囲。
EZweb端末用
https://www.au.com/ezfactory/tec/spec/ezsava_ip.html
2011秋冬モデル以降
NoIPアドレスサブネットマスク (bit)備考
127.90.207.224/28
227.90.207.240/28
327.90.220.224/28
427.90.220.240/28
2019年12月5日時点
上記以外の EZweb端末
NoIPアドレスサブネットマスク (bit)備考
127.80.181.240/28
1827.90.206.0/26
1927.90.206.64/26
2027.90.206.128/26
2127.90.207.0/26
2227.90.207.64/26
2327.90.207.128/26
2427.90.220.112/28
スマートフォン/タブレット/4G LTE ケータイ
[au.com/developer/android/kaihatsu/network/]
NoIPアドレスサブネットマスク (bit)備考
1106.128.0.0/13106.135.0.0/16 を除く
2106.180.16.0/20
3106.180.32.0/20
4106.180.48.0/22
5111.86.140.128/27
6182.248.112.128/26
7182.249.0.0/16
8182.250.0.0/15
92001:268:9000::/36
102001:268:9800::/40
112001:268:9900::/40
122001:268:9a00::/40
132001:268:9b00::/40
2021年10月時点

取得範囲

企業が取得している IP アドレスの範囲。
(Whois gateway での検索ワード)
http://whois.nic.ad.jp/cgi-bin/whois_gw
項目ワード備考
ネットワーク情報(組織名、Organization)KDDI CORPORATION範囲が広すぎるとのこと

Softbank

公開範囲

企業が、ユーザのネットワーク通信用に使用していると公開している IP アドレス範囲。
スマートフォン/タブレット/4G LTE ケータイ
https://www.support.softbankmobile.co.jp/partner/home_tech1/index.cfm
NoIPアドレス/CIDR備考
1126.32.80.0/21
2126.32.89.0/27
3126.32.89.128/27
4126.32.90.0/23
5126.32.92.0/23
6126.34.0.0/18
7126.34.96.0/19
8126.133.192.0/18
9126.156.128.0/17
10126.157.64.0/18
11126.157.192.0/18
12126.158.128.0/17
13126.161.0.0/18
14126.161.64.0/21
15126.161.80.0/21
16126.161.96.0/22
17126.161.104.0/22
18126.161.116.0/22
19126.161.124.0/22
20126.166.128.0/17
21126.167.64.0/18
22126.179.0.0/18
23126.179.96.0/19
24126.179.128.0/18
25126.179.224.0/19
26126.186.32.0/19
27126.186.96.0/19
28126.193.128.0/18
29126.193.208.0/21
30126.193.216.0/22
31126.194.64.0/18
32126.194.192.0/18
33126.200.0.0/18
34126.200.112.0/20
35126.204.0.0/18
36126.204.64.0/21
37126.204.88.0/21
38126.204.96.0/19
39126.204.128.0/19
40126.204.176.0/21
41126.204.216.0/21
42126.204.224.0/19
43126.205.192.0/18
44126.208.128.0/17
45126.211.0.0/18
46126.211.112.0/20
47126.212.0.0/19
48126.212.80.0/21
49126.212.128.0/18
50126.212.240.0/20
51126.234.0.0/18
52126.234.96.0/19
53126.236.128.0/18
54126.237.0.0/18
55126.237.64.0/21
56126.237.80.0/21
57126.237.96.0/22
58126.237.104.0/22
59126.237.116.0/22
60126.237.124.0/22
61126.253.128.0/17
62126.254.128.0/17
63126.255.0.0/17
64126.255.128.0/18
2021年07月16日時点(集約済み)

取得範囲

企業が取得している IP アドレスの範囲。
(Whois gateway での検索ワード)
http://whois.nic.ad.jp/cgi-bin/whois_gw
項目ワード備考
ネットワーク情報(組織名、Organization)不明
APNIC WHOIS(whois.apnic.net) / ARIN WHOIS(whois.arin.net) / RIPE WHOIS(whois.ripe.net) / LACNIC WHOIS(whois.lacnic.net) / AfriNIC WHOIS(whois.afrinic.net) の Whois サーバに登録が無い模様。

windows の資格情報削除

Windows の資格情報削除

Windows を利用していると Teams のログインなどで登録されることがあるアカウント情報。
消すならWinキー→資格といれて資格情報にアクセス

資格情報マネージャーへのアクセス方法

サーチ利用
Win キーから「資格」と入力した状態で、資格情報マネージャーにアクセスできる。
資格情報マネージャー
資格情報マネージャー

ちなみに、英語で Credential Manager らしく、cred を入力してもアクセス可能。
Credential Manager
Credential Manager

アカウント情報削除

アカウントへのアクセス
「Web 資格情報」と「Windows 資格情報」があるが、Teams で利用するアカウントは Windows 資格情報の中にある。
Web資格情報
Web資格情報
Windows資格情報
Windows資格情報
情報削除
Windows 資格情報のなかで、汎用資格情報のなかに「SSO_POP_User:user=xxx@example.co.jp」のような内容があるので、それを開く。
SSO_POP_User
資格情報の例
この「削除」をクリックすると、次の削除確認がポップアップする。
削除確認
削除確認
ここで「はい」を選択すれば、資格情報が削除される。