/ 最近 .rdf 追記 設定 本棚

脳log[2018-11-21~]



2018年11月21日 (水) ぷりケツお献立メコン川さんのツイート: 「すんごい昔の会社の勉強会で後輩君が「Makefileには1行目に #!/usr/bin/make って付けて、chmod 777 Makefile して、./Makefike するのが普通です」とか言ってるのを聞いて、痙攣しながら椅子から転げ落ちた記憶が一番衝撃的だったww」■まじめな話。転げ落ちポイントを説明してくれないとわかんない。


2018年11月20日 (火)

最終更新: 2019-04-12T22:46+0900

[Git] 間違ってブランチを削除してしまった

コミット構成を変えるために複数のブランチを作成したりマージしたりなんだりしてから作業用のブランチを整理したら、再構成後のブランチまで一緒に削除してしまっていた! 1時間の作業成果!

.git/objects/*/* から一番新しいコミットオブジェクトをサルベージしてなんとかなった。サルベージっていうのは git checkout -b MyAnHour xxx(全部で40桁)xxx すること。

コミットの再構成は git rebase でもできるらしい。削除・入れ替え・併合は当然。edit オプションを使えばコミットの分割もできるとか。

そういえばまだ reflog って知らない。


2018年11月19日 (月) 年賀はがきの販売に SNS を活用するらしいけど、いっそもう発送まで代行しちゃえばいいと思った。一部分だけでも手書きが~という声は当たらない。E-メールとの間を埋めるサービスだから。■「E-メール」ってすでに懐かしい。いや E- のあるなしでなく LINE とか。


2018年11月18日 (日) ライオンエア610便墜落事故、ボーイングが新機能のトラブル対応手順を知らせていたかどうかで議論に | スラド ハードウェア」■俺は馬鹿な機械に馬鹿をさせないための操作手順を知りたいとは思わないよ。機械のお守りなんて余計な仕事を増やすなよ。■アクセル操作によってパーキングブレーキが自動解除される車のせいでカーディーラーの人間が、その車を売ってる人間が、意図せぬ急発進で人を殺してる。なんでわざわざ条件を増やして複雑さを増すんだよ。そんな機械は俺には扱えない。■Git がいかに素直な道具であることか! 見よ↓

最終更新: 2021-05-07T19:12+0900

[Git] GitHub. プルリクエストの参照。

6.3 GitHub - プロジェクトのメンテナンス - プルリクエストの参照

GitHub のリポジトリを git clone --mirror してると refs/pull/xxx/head, refs/pull/xxx/merge という見慣れない refs がダウンロードされてくる。

これはそのまま refs/pull/xxx/head という名前でコミットオブジェクトが参照でき、git fetchgit pull の引数として利用できる。

リンク先で書かれていることに従って .git/config の <remote> 名のセクションで fetch = +refs/pull/*/head:refs/remotes/<remote>/pull/* というマッピングルールを付け加えると、<remote>/pull/xxx というブランチ名が利用できるようになる。git branch --remotes が大量の PR ブランチで押し流されることと、コミットオブジェクトの大群がダウンロードされてくることが気にならないなら、便利。

PR を出した人のリポジトリを URL なり登録したリモート名なりで参照することなく、git checkout -b PRxxx <remote>/pull/xxx するだけでプルリクエストが試せる。

PR は誰でも出せるものであるからして、問題のあるコードを簡単にダウンロードできてしまう方法だという自覚は必要。

git fetch <remote> したら新規 PR が [new ref] として降ってくるし、更新があった PR の番号もわかる。そこで git show <remote>/pull/xxx すると最新のコミットの内容から PR をチラ見できる。

gitk するとあれやこれやのマージコミットの横に remotes/<remote>/pull/xxx というラベルが付いてどの PR 由来のコミットかがわかる。数が多すぎてちょっとうるさいけど。

いやあ便利。

大量の PR ブランチに押し流されるのが嫌なら、最初に書いた fetch におけるマッピングルールを工夫して、<remote> におけるコミットオブジェクトへの参照名(refs/pull/xxx/head)をそのままローカルで利用する参照名としてダウンロードできると思う。ローカルの名前なら fetch, pull に限らない幅広いサブコマンドで利用できるでしょう。

やってみた。同じ場所に同じように fetch = +refs/pull/*/head:refs/pull/<remote>/* と書いたら同じように [new ref] が降ってきた。refs/pull/xxx/head は GitHub にあるリポジトリで利用できる名前だけど、refs/pull/<remote>/xxx は同じコミットオブジェクトを指すローカルの名前。git show refs/pull/<remote>/xxx でコミットの内容が見られるのはさっきと同じだけど、git checkout -b PRxxx refs/pull/<remote>/xxx するまではブランチとしては存在しない。gitk するとこれまで見たことのない背景色で pull/<remote>/xxx というラベルが付いていた。コマンドの引数で refs/ は省略できるみたい。

refs/heads, refs/remotes, refs/tags の基盤となる refs という機能が Git にはあって、挙げた3つは Git が標準的に利用している。refs/pull は GitHub が私的に利用している。gitk はすべての refs をラベルとして表示することができ、既知の種類のラベルに特別の色分けを施していただけなのだろう。

あまり区別せずにブランチって書いてきたけど、最初の fetch ルールで作成するのはローカルのリポジトリで定義したリモート名の下にあるとするリモートブランチ。ローカルのブランチではないし、リモートにそのままの形で実在するブランチでもない(fetch 後に削除されたかもしれないし、fetch のマッピングルールによって名前を変えたのは自分だ)。実際のところ refs と何が違うのかわからない。git branch -r でリストできるかどうかの違いしか今のところわからない。git push の既定の動作に違いが現れるのかもしれないけど、そういう自動化は無効にしてるから本当に違いがない。

たぶん今日ここに書いたことは、わかる人はすでにわかってる、わからない人には何の参考にもならない、そんな内容だと思う。こち亀で「OS」だの「インストール」だのといった専門用語(※そういう時代!)が飛び交っていて、柱をびっしり埋める脚注を読んでもさっぱりわからなかった回のように。


2018年11月16日 (金) [W53S] あと3年とちょっとは使える。「auが3G終了を発表。iPhone 5sなどLTEスマホも一部使用不可に――22年3月末 - Engadget 日本版」■次も au にする理由はない。まだ返してもらってないものもあるし>20100705p01


2018年11月15日 (木) au、通販で買うと携帯代から値引き~2019年1月から - Engadget 日本版」■au の真意はわからないけど、記事に書かれている「今回発表された「Wowma!」利用者に対する還元は、楽天との提携によって強化されるWowma!の取り扱いを増やしつつ、値下げへの要請にも応える狙いがありそうです。」は寝言で間違いない。逆に、通信料を原資もしくは呼び水にして通販を割り引いてるだろ、これ。


2018年11月14日 (水) 「円周率=4」を証明してみせましょう。“3.14…”を覆す新理論(?)に驚愕する声多数! 理数系学生「反論思いつかなくて草」」■この図なら区分求積法に持ち込んで不等号で上と下から挟む式になると思う。だからこの証明は上半分だけで途中。■そもそも弧の長さをどこでも近似していない。ただ 4 = 4 と言っているだけ。


2018年11月13日 (火) #世界ふしぎ発見 で「銀ブラ」の語源をクイズに出題し、三省堂国語辞典で誤りとされた説を正解として紹介する - Togetter」■モーガン・フリーマンの名前を冠した NHK の教養番組っぽいものが種々雑多な言説をフラットに取り上げていて、それはつまり業界の共通認識と異端児1人の言っていることの取り扱いに差がないということで、その回の放送内容のほとんどすべてを聞きかじっていた分野だからそういう判断ができたけど、それ以外で普通に「へーそーなんかー」と感心していては危険な番組だと思った。

最終更新: 2019-04-12T22:47+0900

[Git] GitHub でプルリクエストを出した後の作業手順

プルリクエストの元になったブランチは、自分の GitHub リポジトリにプッシュしたものが即座にリクエスト先にも反映される点で、公的なブランチだといえる。

プルリクエストに対する修正を事前に私的にテストするために、プルリクエストを意図せず Work in progress 状態にしないために、どういう手順をとるか。

前提として AppVeyor といった CI が自分の GitHub リポジトリと連動しており、GitHub にプッシュしなければテストが完了しないという事情がある。

元になったブランチから私的実験ブランチを派生させるのがいいと思う(これって常識?)。実験して結果を確かめたものを公的ブランチにマージし、必要ならリベース(並べ替え・併合)し、プッシュする。あるいは実験ブランチの段階でリベースによりコミットの取捨選択と整理を行っておき、公的ブランチにはマージとプッシュだけをしてもいい。

最終更新: 2019-04-12T22:47+0900

[Git] Git のサブコマンドについて

操作対象で分かれてるよね。そんで fetch, pull, push 以外はオフラインと考えていい。

remote
外部リポジトリ名
rebase
コミット
branch
ブランチ
checkout
ワーキングツリー
reset
refs/heads [インデックス] [ワーキングツリー]
fetch
refs/remotes
merge
refs から refs へ
pull
リモートからローカルのブランチへ
push
ローカルからリモートのブランチへ

rebase の用途は主にマージの1手段としてと、ブランチの付け替えと、コミットの整理とがあるけど、やってることはコミットオブジェクトの書き換え(※)であると。

※これは概念的な理解であって、もちろんコミットオブジェクトは名前に対して不変であるし、実際には refs/heads の書き換えも行っているはず。

ローカルブランチの削除は branch で行うけど、リモートリポジトリにあるブランチの削除を行うのは push であると。

git pull --all とかやっちゃうと操作対象はブランチだから、現在のブランチにマージコミットが追加されておろおろしてしまうと。git fetch --all にしよう。

もちろんオプションによりブランチだった対象がタグになったりするし、branch サブコマンドでリモート(※ローカルのリポジトリにフェッチ済みのリモート)にあるブランチを表示したりもできる。あくまでも基本の対象ではある。


2018年11月10日 (土) AppVeyor が便利すぎて、酷使しすぎていて、月に1万円以上は払っておかないと今後の扱われ方に不安を覚えるほど。


2018年11月09日 (金) 【悲報】Amazon社「コミュ力?それ最悪。個の力が高ければいいんだよ。」 : 暇人\(^o^)/速報 - ライブドアブログ」■社員同士のコミュニケーションって要は非同期作業を同期する行為でしょ。同期同期同期ではパフォーマンスはスケールしませんよ。アムダールの法則が見えるところまで行ってください。


2018年11月08日 (木) Firefox 52.9.0 がおそらく GitHub に切り捨てられた。スクリプトによる付加機能が軒並み無反応。アップデートしようにも「最新バージョンはご使用のシステムに対応していません」だもんなあ。■Vivaldi はインストールできたし、GitHub も使用できた。■Windows Vista は発売直後に買ったけど、10 はいらないんだよなあ。ほら>「【Windows 10】「勝手にLINEがインストールされていた」の声が増加中(2018年11月11日) | LINEの仕組み」■かくいう Vivaldi も背後のウィンドウとの境目がわからないフラットデザイン(デザイナー仕事しろ!)だけどな。■枠が欲しけりゃ「通常のウィンドウを使用する」という設定が Vivaldi にはあるんだよ。でも、右上のコントロール(_□✖)のサイズが設定とは異なり小さすぎるし、Aero Glass でない単色の青だしで、全然「通常のウィンドウ」ではない。


2018年11月07日 (水) [C++] g++ で -Og -g オプションを付けると if (this) {} else {} みたいなコードが通らなくなる。ヌルポインタかどうかを確かめることには問題がないし、仮想関数を呼び出そうとしたりしない限りは C++ 的にも許されている雰囲気を感じていたのだけど、デバッグ情報が this 付近にあると期待されていたりしてそれが問題につながるんだろうか。■ -g オプションだけなら OK だった。■ -Os でもアウトだったから問題は -Os, -Og という最適化オプションにある。許されてはいなかったのか……。■「C++ の標準としては未定義動作です


2018年11月06日 (火) バス運転手、指導員に逆上し運行中止 淡路で乗客放置 徳島の海部観光 (徳島新聞) - Yahoo!ニュース」■安全運転の責任を負ってる運転手にギア選択の指示まで出すのは越権行為だと思うんだよな。それが職人気質のドライバーだったならなおのこと受け入れられないだろう。とはいえ、観光バスは排気量とトルクに余裕があり、それが乗客の快適性に繋がるから、高めのギアを使いこなせるのがいいドライバーだという指摘はしてもいいと思う。■■■@2018-11-07 周辺情報「「新聞はいいように書かれている」高速バス運転手が指導員に逆上し運転拒否し乗客放置されたニュースに実際に乗っていた人が反論 - Togetter」 乗客に対する責任を負わない指導員。嫌いな風潮だけどブコメのひとつにあるように、介護タクシーでないタクシーの運転手による介護のまねごと(介助。ただ手を差し伸べることを禁止するどんな理由があるのかは知りたくない。どうせ事なかれ主義のコンプライアンスの縄張り争いだろう)が許されない(らしい)ように、指導員は自分の責任範囲を言い逃れに使うのかもしれない。だったらそれはブーメランとなって、責任が持てない部分に関しては口を噤んでろって話になる。

本日のツッコミ(全1件) ツッコミを入れる

べる運転手運転拒否で客放置