tomoyukim's blog

Raspberry PiはOSをインストールすると、そのSDカードの容量によらずパーティションサイズが3GB になってしまうようで、Emacsビルドなど作業領域を確保をするためには、パーティション拡張が必要です。 というか何かしようと思ったらほぼ必須な気がするので、初期設定の一環ですね。HDMIでモニタ出している人はGUIでできる…