コンテンツにスキップ

Chromebook

Androidアプリのテスト端末にする

  • URL
  • 開発機で次のコマンドを実行
1
adb connect <ChromebookのIPアドレス>
  • 開発機のAndroid Studioで適当な名前でエミュレーターとして出てくる

ChromebookでのEmacsの設定メモ: Chromebookに対する導入雑感を含む

2020-09-26時点での問題点

  • 変換キー(実際のChromebook上では「かな」キー)にAltを割り当てたい.
  • 開発者モードだとか面倒なことなしにやりたい.

対象マシン

次のマシンを買った.

購入時点の要望

あとでいろいろ書くようにこのマシンで文章書き, ちょっとしたコンテンツ作成, 特に数学系プログラミングコンテンツ作成や実践をやりたい. プログラミングは最近 VS Code に移行しているが, 文章を書く上ではもう Emacs が手放せない. そこでとりあえず Emacs は絶対に導入したいし, ふだんのカスタマイズも反映させたい. 特にふだん日本語キーボードでスペースの隣にある無変換キーは sticky-shift に, 変換キーは alt に変えて使っている. 無変換キーの sticky-shift は Emacs 上の設定で, 変換キーは Windows 上のツールで対応している. この辺をいろいろいい感じにしたい.

対応

適当にLinuxを入れる

Linux導入は標準でできるようなのでそれで対応. 参考にしたソース記事を記録しておけばよかったが後の祭り.

2021-12-28 Emacs27.2導入

ここを参考にEmacs27.2を導入.

  • ここのnearby GNU mirrorから最新版をダウンロード.
    • 以下のコマンドでURLは適切に修正する
1
curl -O http://gnu.mirror.constant.com/emacs/emacs-29.1.tar.gz
  • 標準アプリのファイラーでLinux上にファイルを移動.
  • 次のコマンドで開発環境を整える.
1
2
3
4
sudo apt install build-essential texinfo libx11-dev \
     libxpm-dev libjpeg-dev libpng-dev libgif-dev \
     libtiff-dev libgtk2.0-dev libncurses-dev \
     gnutls-dev libgtk-3-dev
  • インストール用のコマンド実行.
1
2
3
4
5
6
7
8
tar zxvf emacs-27.2.tar.gz

cd emacs-27.2

./configure

sudo make
sudo make install

OBSOLETE: Emacs導入

Emacsの設定はGit管理していて適当な設定をして, Windows, Mac, Linuxのどれでも使えるようにしている (新旧含めそれぞれのマシンが手元・会社にある). 最近はWindowsメインでEmacsは27にしている. 26と27での変更点によって, どうやら手元の既存の設定をなるべく変えないようにしようと思うと, 27でエラーが起きない設定では26で大量にinit logにエラーが出て逆もまたしかり.

~~そこで Emacs 27 を入れようと思ったのだが, ppa 導入による方法が Chromebook だとうまく動かない. ソースからのインストールはできたが, GUI にする方法がわからない. CUI でもいいかとは思ったのだが, ターミナル上で動かすと Ctrl+Space や Ctrl+/ がうまく効かないという問題があり, GUI でないと私には厳しそうなことがわかった. Chromebook の制約, 何より容量問題があり, そんなにごちゃごちゃツールをインストールできない. そこで泣く泣く apt-get での Emacs 26 での GUI にした.~~

~~大量のエラーをどうしてくれようかと思ったのだが, init.el にある次の 2 行を起動後に改めて C-x C-e で読み込ませれば問題ないことがわかり, とりあえず Emacs 26 を使うことに決定.~~

1
2
(require 'init-loader-x)
(init-loader-load "~/.emacs.d/conf/")

Sticky-Shift

上記Windows-Mac-Linuxでわけている部分で設定切替ができておらず, Sticky-Shiftの指定自体ができておらずしばらくはまる. 設定するべきことを思い出しことなきを得る.

等幅フォントの設定

そもそもどんなフォントが使えるからしてわからない. 容量問題からよけいなフォントをインストールしたくもない. この記事によるとNoto Sans CJK JPがあるらしいが, ふだんEmacsで細かいフォント設定をしないので完全に設定を忘れている.

ここで私としての発想の転換があった. ふだんメニューを非表示にしているのだが, 一時的に表示させてGUIからフォントを設定すれば自動的によきにはからってくれることを思い出した. メニューを表示させてそこからフォント設定して, その設定を保存することで非常に具合がよくなった. これを忘れずに記録しようと思ったのがこの記事を書いた理由であるというくらいにいまの私には大事な(再)発見だった.

sudo apt install fonts-migmixでいつも使っているMigu 1Mがインストールできた.

変換キーと alt 問題

少なくとも上記Lenovo Slim350i機のスペースキーの両隣はMacのように「かな」と「英数」キーになっていて, Emacs上ではそれぞれhenkanとmuhenkanになっているようだ. Emacs上で無変換をsticky-shiftにしているためmuhenkanは問題ない. 問題は{henkan}の方. Emacs上でhenkanをメタに割り当てるみたいなことができればいいのだが. もしくはWindows・Macと同じくChromebook側でキー割り当てが変更できればそれでもいい. 一応できるっぽい記事は見かけたのだが, 開発者モードだとか面倒な方法が必要そうで, 自動アップデートが止まるモードでないとハードなキーカスタマイズができないというような気分のようなので, いったんそれは断念. 何かいい方法をご存知の方がいれば教えてほしい.

いつもと右親指の動き, altの押す位置が違うこと, 押し間違えでかな入力が発動する鬱陶しさはあるが, それでも当初の厳しさは大分緩和された. 本当はふだんやっている小さいTeXのコンパイルもできてほしいが, TeXの導入は容量的にもまたいろいろ大変そうなので, Overleafに逃げればいいかなどと考えている. Chromebookらしい使い方も考えないといけない.

2020-09-26時点での感想

思った以上にキビキビ動く. 特に Emacs の動作も問題ない. 処理系のインストールによる容量問題など含め, 軽いプログラミング学習がどこまでできるかがいまの課題だ. そもそもプログラミング学習としてやるべきことから練り込む必要がある. ゴリゴリライブラリを導入するタイプのプログラミングだと 32GB だと間に合わない. そういうのがしたいなら多分もっと容量の多いモデルを買う必要があるのだろう. それとも USB や Micro SD への外出しができたりするのだろうか?

購入にいたる背景

先日の「理論物理学者に数学を教えようの会」の内容や開催にいたる経緯の背景の 1 つでもあるのだが, 特にリアルでの中高生向け理工系教育コンテンツ・サービス展開を考えている. その中にはプログラミングもあり, 中高生に実際にプログラムを書いてみてほしいと思っていて, そのためにはやはりマシンがいる. 最近の子どもはスマホを買い与えられているとは思うが, それは受動的に情報を取ることはできても情報発信・作成には難しい面がある. もちろん最近はスマホで映画を取る高校生や, スマホで凄まじい絵を描く若い人もいる. 情報発信やクリエイティブな作業ができないわけではないが, 画面の小ささなどもあり, そのままでプログラミングは難しいだろう. かといって私が話を進めようとしている地域・地元はそれほど裕福なところではない. むしろ少なくとも相対的に貧困でさえある. そんな中で機器を乱暴に扱いがちな子どもに高いマシンを買い与えるのは無理だ.

やはり私自身でも安い機器でどれだけのことができるか検証する必要がある. Windows 端末もあるといえばあるが, スペック問題さえ除けば一定の経験がある. 最近新型コロナでビジネス・教育ユースともに Chromebook が増えてきているという. ならば触って実験してみないわけにはいかないだろう. タイミングよく Amazon のセールで, 特定 Chromebook マシンと一緒の購入すると 7000 円する「マイクロビット micro:bit アドバンスセット 知育 STEM プログラミング ガイドブック付」が無料になるキャンペーンをやっていた. これはタイミングかと思い購入を決めた.

買ったマシン

上記セールで対象になっていたマシンを買った.

どうせなら持ち運びが楽で実際に外出時に使えるマシンにしようと思っていて小さめのマシンを考えていたので, 11.6 インチでちょうどよかった. ふつうの Chromebook の使い方なら問題ないかもしれないが, プログラム用に言語をインストールするから容量はもう少しあった方がいいような気はする. そもそもかなりバッテリーの持ちはいいようだが, 給電できる USB-C があり, 万が一外でバッテリーが少なくなってもモバイルバッテリーでもう少し何とかなりそうという安心感もある.

以前 8 インチの UMPC (topjoy falcon) を買ったが, 小さいせいでキーボード配列も変則的だし, 何より小さすぎて外付けキーボードがないと使いづらかった. ふだん日本語キーボード使いで, 変換・無変換キーをキー割り当て変更して sticky shift と alt にする運用をしているため, 英語キーボードなのも微妙に鬱陶しいところがあった. その意味でのいまのところは Chromebook 運用に手応えがある.

もちろんまだ買って一週間も経っていない. もう少し時間が経ったらまたいろいろまとめようと思っている.

F#のインストール

GoogleDriveの同期が取れないとき

  • 設定 > 「詳細」の「ファイル」中, 「Google ドライブアカウントを切断する」を変更.

gpgファイルが復号化できない

  • 参考
  • ターミナルでgpgconf --kill gpg-agentを実行
  • gpg some.gpgを実行
  • パスワードが要求されるので入力
  • 復号化成功

LinuxからGoogleドライブにアクセスしたい

エクスプローラーから

  • 参考
  • エクスプローラーを開く
  • 右クリックでGoogleDriveを「Linux共有」する
  • /mnt/chromeos/GoogleDrive/で見える

コマンドラインから

  • 参考
  • ファイルアプリでフォルダを右クリックして「Linuxとの共有を管理」を選ぶ
  • /mnt/chromeos/GoogleDrive/MyDrive

サイト全体のスクリーンショット

Windows

  • デべロッパーツールを開く
  • Ctrl+Shift+P
  • 日本語で「フル」

Mac

  • デべロッパーツールを開く
  • command+Shift+P
  • 日本語で「フル」

追加したPPAの削除

  • 参考
  • UbuntuではAPTリポジトリの情報は次の箇所に登録される
    • /etc/apt/sources.list
    • /etc/apt/sources.list.dディレクトリ内にリポジトリ毎に別ファイルとして格納
  • ここから適切に記述またはファイルを削除