与太話

今さっき難産の講師哲学の話を書いてひと段落した時に、アドカレの記事だけじゃなくて、カレンダー自体の❤️に気付きました、ありがとうございます。
通知になかったんでいつ押してくれたか分からないんですが、率直に嬉しいです！
あんまりこう言うといいね乞食みたいで嫌（少なくとも、私が見る側の立場だった時はそう思ってます）なんですが、書いている側だと「ちゃんと見てるよ」って言った方が良いんじゃないか？と思うこの違いはなんなんでしょうね。
きっと、明日の私がこれ見たら「コイツいいね乞食してんじゃん」って絶対言う。断言します。
なので、今の率直な私の気持ちを書き残しておきます。

いいねくれてありがとう！

もう疲れてんね、でもあと10時間以内（日が変わるまで）にこれ書きあげるよ。
明日の分も書いて余裕作ってゆっくり寝るよ！
じゃないと、何のために今日を休みにしたか分からんです。

アドベントカレンダーの購読 is 何？

いいねボタンは自分では押せない（わかる）ですが、購読する（RSS）ボタンは自分でも押せる（？？？）みたいですね。
使った事ないんで、これやったらどうなるんだろう？と思って自分のカレンダーを購読してます。つまり購読者の一人は私です。
こういうのにウソは良くないからね、自らゲロっていきますよ！
（単純に、積極的にアクセスを取りに行く気がないとも言います😅）

どうしても気になる、カレンダーページのコレ

俺のカレンダーは俺の一人踊りを披露する場所にしたいので参加者を募集してないんですが、この表示がいつも気になってます。

誰も招待しなければ一人しか書いてないわけだし、気にしなくてもいいと思うんですが、この表示を見るたびに「募集してないわい」と突っ込んでます。

以下、本題です。

前提・想定読者

Githubアカウントが必要

これだけです。

Q. Github.devとかGitHub Codespacesとは？

A. Githubリポジトリ上で動くVSCode

つまり、VSCodeを使いたくなったら~~cloneして~~commitしてpushするステップのようになります。
cloneがなくなるので、不要になったら捨てる作業がなくなります。
捨て忘れがなくなると考えるとかなり大きいです。

Github.devはターミナルが使えません。

Github Codespacesはターミナルも使えます。

GitHub(dev or Codespaces)の利用費用

今後変わりそうなので、本稿で触れるのは控えます。
なお、Github.devは無料です。

使い方

操作	実行方法
Github.dev	ブラウザから使いたいリポジトリに移動して[.]キーで起動します。
Github Codespaces	いつもcloneなりダウンロードしている緑の「Code」ボタンを押すと、タブが表示されます。それぞれLocalとCodespacesです。

繰り返しですが、ターミナルが使えるかどうかが違いです。

真価を発揮する場合

github.devについては正直大きな価値はないです。位置付けとしては便利な機能の一つぐらいの感覚です。
Codespaces＝クラウドコンピューティングのメリットがそのまま使えます。
いわゆるAWSやらGCPなどと同じカテゴリです。ストレージはGithubなので、作ったファイルはGithubに格納する事ができます。
ただし、gitで管理しているので終了前にcommit-pushは忘れずに。

せっかくgithubでVSCodeを使うのなら、１画面で全部やりたい

何が言いたいかというと、VSCodeだけでGithubのリポジトリの機能を全部使おうというお話です。

GitHub Pull Requests and Issues

github.devデフォルトで入ってますが、ローカルでも適用できます。
プルリクとIssueが見れます。

GitHub Repositories

これもデフォルトで入ってます。
別のリポジトリにVSCodeから切り替えができるのが非常に便利です。

GitHub Actions

公式ではないですが、CIガンガンに回している場合は結果も見れて快適です。

GistPad

こちらも公式ではないですが、gistを活用している方に重宝します。
この拡張を入れる事で、リポジトリを横断してメモを共有する事ができるというgistの新しい使い方が見出せます。

使えない機能

以下を閲覧（参照）できません。

Wiki
Project
Discussion
Pages

WikiについてはVSCodeではなく、Githubでやりようはあるんですが、編集ができません。
厳密に言えば、編集はできますが編集内容が本来のWikiに反映されないため、こちらにも専用のCIを作る必要があります。

たとえば、以下のようなイメージです。

元リポジトリ.wiki.gitを通常リポジトリにforce push
force pushしたリポジトリ（Wikiの内容）を編集して保存
pushをトリガーにして元リポジトリ.wiki.gitにforce push

このやり方で実施する場合は、github.devではできない（force pushができない）ため、ターミナル(ここではCodespaces)からforce pushを実行する必要があるんですね。
ファイリングするだけならwikiを使うよりwikiディレクトリを作って、以下に格納しておけば良いわけですが、従来のWikiのような感覚でブラウジングしていく際には非常に見えにくいです。
もしwikiを充実させたい場合は、現行のGithubWebエディターを使った方がいいかもしれません。

次の記事