お兄ちゃん!
これで Raspberry Pi 上で自由に
Linux を動かせるようになったよ!
最初は何をしようかなぁ…
最初は自分の国に合わせた
設定をするといいよ
例えば以下はどうだろう?
ソフトウェアの
ダウンロード元を
日本国内に変更すれば
多くの場合ダウンロード速度が
速くなるんだ
それは嬉しい設定だね!
どうやって設定すれば
いいのかな?
パッケージ管理ツール
apt
のダウンロード元は
/etc/apt/sources.list
で
設定されているんだ
このファイルを編集するよ
最初に設定ファイルを
バックアップしよう
sudo mv -v /etc/apt/sources.list{,.dist}
うん!バックアップしたよ!
sudo curl -L \
-o /etc/apt/sources.list \
https://www.debian.or.jp/using/apt/sources.list.http.ftp.jp.debian.org
Raspberry Pi OS のベースがDebian だから流用できるんだ!そのまま使える設定が用意されているなんて親切だね!
Raspberry Pi OS の時刻合わせは
systemd-timesyncd
を使っているんだ以前教えてもらったやつだね!それと同じことをすれば日本の NTP サーバに時刻合わせをしてくれるんだ!
今回はサーバへの問い合わせを日本国内のサーバを使うよう設定したよ!
国内のサーバを使うことで速いダウンロードや正確な時刻合わせができるよ!小さな工夫の積み重ねが自分の Linux を使いやすくしていくよ