Pinebook Pro にデフォルトで入っているOS (Debian Desktop Community) を再インストールする手順

1. OS イメージのダウンロード
   https://wiki.pine64.org/index.php/Pinebook_Pro_Software_Release
   >> Debian Desktop Community Build Image [microSD to eMMC] by mrfixit2001
   >> Direct download release build 191123 from mrfixit2001s github
   >> https://github.com/mrfixit2001/debian_desktop/releases/download/191123/pinebookpro-debian-desktop-mrfixit-191123.img.xz

2. ダウンロードした .xz ファイルを展開して .img にする
   pinebookpro-debian-desktop-mrfixit-191123.img.xz
   >> pinebookpro-debian-desktop-mrfixit-191123.img

3. etcher で .img を microSD カードに焼きこむ（dd コマンドを実行するためだけのOSとして使う）
   （etcher は ここから入手する）
      https://www.balena.io/etcher/

4. .img を USB メモリにコピーする（eMMC に書き込むためのもの）

5. Pinebook Pro のストレージ内訳（下記は 32GB の microSD を入れたケース）
   |--------------+---------------+----------+---------------|
   | /dev/mmcblk0 | microSDカード | 28.98GiB | microSDに依存 |
   | /dev/mmcblk1 | 内蔵eMMC      | 58.24GiB |               |
   |--------------+---------------+----------+---------------|
   本手順は mmcblk0(microSD)に OS を書き込んで、その OS を使ってさらに mmcblk1(eMMC) に OS を書き込む。

6. Pinebook Pro に microSD カードを差し込んで Power ON
   >> OPEN SESAME のスプラッシュが出る
   >> （初回起動のみ）テキストベースのログイン画面が出るが、これは触らないこと
   >> （初回起動のみ）ログイン画面のままそのまま少し待つと再起動が走る
   >> OPEN SESAME のスプラッシュが出る
   >> GUI のログイン画面が出る
   >> 以下でログインする
   |------+------|
   | user | rock |
   | pass | rock |
   |------+------|

7. Pinebook Pro に USB メモリを差し込んで下記のファイルをデスクトップにコピーする
   pinebookpro-debian-desktop-mrfixit-191123.img

8. Menu >> gparted[Enter] >> GParted を起動
9. GParted >> メニュー >> GParted >> Devices
   /dev/mmcblk1(58.24GiB) を選択する >> eMMCのパーティションが表示される
10. /dev/mmcblk1p1 を右クリック >> Unmount (領域を選択して [Alt]+[P][U] でも可能)
11. /dev/mmcblk1p1 を右クリック >> Delete (領域を選択して [Alt]+[P][D] または [Fn]+[Backspace] でも可能)
12. /dev/mmcblk1p2 を右クリック >> Unmount (領域を選択して [Alt]+[P][U] でも可能)
13. /dev/mmcblk1p2 を右クリック >> Delete (領域を選択して [Alt]+[P][D] または [Fn]+[Backspace] でも可能)

14. unallocated な 58.24GiB の領域が表示されている状態
15. GParted >> Edit >> Apply All Operations ([Ctrl]+[Return」で可能) >> [Apply] >> [Close] >> 反映される

16. Menu >> terminal >> MATE Terminal を開く

17. 下記を実行する
    $ sudo dd if=~/Desktop/pinebookpro-debian-desktop-mrfixit-191123.img of=/dev/mmcblk1 bs=4M status=progress

18. dd コマンドの結果、GParted >> GParted >> Refresh Devices ([Ctrl]+[R]) >> パーティションテーブルは下記のように変更された。
    |----------------+-------------+--------------------+-------+-----------+-----------+------------+-----------|
    | Partition      | File System | Mount Point        | Label | Size      | Used      | Unused     | Flags     |
    |----------------+-------------+--------------------+-------+-----------+-----------+------------+-----------|
    | unallocated    | unallocated |                    |       | 16.00 MiB | ---       | ---        |           |
    | /dev/mmcblk1p1 | fat32       | /media/rock/BOOT   | BOOT  | 64.00 MiB | 49.68 MiB | 14.32 MiB  | boot, lba |
    | unallocated    | unallocated |                    |       | 48.00 MiB | ---       | ---        |           |
    | /dev/mmcblk1p2 | ext4        | /media/rock/xxxx.. |       | 4.88 GiB  | 4.54 GiB  | 349.13 MiB | boot      |
    | unallocated    | unallocated |                    |       | 53.23 GiB | ---       | ---        |           |
    |----------------+-------------+--------------------+-------+-----------+-----------+------------+-----------|
    5つ目のパーティションが unallocated になっている点は、OS 起動後に適切になるので心配要らない。

19. Menu >> Quit >> [Shut Down] >> 電源が落ちる >> microSD カードを抜く。
    >> これで eMMC への新しい OS のインストールが完了した。

（おまけ：eMMC から OS を起動するとパーティションテーブルはこうなっているはず。）
    |----------------+-------------+--------------------+-------+-----------+-----------+-----------+-----------|
    | Partition      | File System | Mount Point        | Label | Size      | Used      | Unused    | Flags     |
    |----------------+-------------+--------------------+-------+-----------+-----------+-----------+-----------|
    | unallocated    | unallocated |                    |       | 16.00 MiB | ---       | ---       |           |
    | /dev/mmcblk1p1 | fat32       | /media/rock/BOOT   | BOOT  | 64.00 MiB | 49.68 MiB | 14.32 MiB | boot, lba |
    | unallocated    | unallocated |                    |       | 48.00 MiB | ---       | ---       |           |
    | /dev/mmcblk1p2 | ext4        | /media/rock/xxxx.. |       | 58.12 GiB | 5.36 GiB  | 52.75GiB  | boot      |
    |----------------+-------------+--------------------+-------+-----------+-----------+-----------+-----------|
    パーティションテーブルが適切になっている（5つ目のパーティションが消え、4つ目のext4に連結している格好）