タグ

ブックマーク / propella.hatenablog.com (3)

  • git でバックポート用のパッチを作る方法。 - 言語ゲーム

    ようやく何となく git の使い方が分かりかけて来たのでメモ。ドキュメントを細切れに読んで自分で考えただけなので、もっと良い方法があったら教えてください! 目的 とあるレポジトリ trunk がある。 とあるブランチ experimental がある。 experimental に含まれる変更のうち、無難なやつだけのパッチを作りたい。 方針 trunk のクローンを作る バックポート用のブランチを作る バックポート用のブランチに、 experimental の内容を読み込む。 実験的すぎる奴を元に戻す。 パッチを作成 実際 まず trunk のクローンとバックポート用のブランチを作ります。多分タグを作っておくと便利な気がします。 git clone ssh://example.org/trunk patch/ cd patch/ git checkout -b backport git t

    git でバックポート用のパッチを作る方法。 - 言語ゲーム
    hiroomi
    hiroomi 2020/02/01
  • 論理かるた - 言語ゲーム

    今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです!とりあえずどんなのか見てみましょう。 自分でやりたい人は logiccard.pdflogiccard2.pdf をダウンロードして名刺用紙に印刷してください。用紙のサイズが合わない時は logiccard.svglogiccard2.svgイラストレータや Inkscape で編集するといいと思います。 このように印刷して、灰色の部分をポンチで穴を開けます。ホッチキス式のポンチではカード中ほどの穴に届かないので、その場合は手芸用のポンチを使うと良いです。 するとこのような謎めいたカードが出来上がります。 それぞれのカードはベン図になっています。穴の開いてい

    論理かるた - 言語ゲーム
    hiroomi
    hiroomi 2011/08/28
    見える化ならぬ体験化。
  • ファイルシステムとしての Git - 言語ゲーム

    Git のコマンド体系は全く歴史に学ばず後世に禍根を残す酷いデザインだが、どういうわけか内部構造は大変素晴らしい。特にファイル構造を一旦キーバリュー式データストアに保存するというのは是非参考にしたいアイデアなので調べてみました。 Git 内部データストアの基機能は、ファイル名を使わず中身だけを保存する事です。ファイル名が無くて後からどうやって保存した中身を取り出すかというと、保存時に SHA-1 という文字列が発行されるのでそれを鍵に取り出します。それでは試しにやってみます。まず準備として新しい Git レポジトリを作ります。 $ mkdir test $ cd test $ git init Initialized empty Git repository in /Users/takashi/tmp/test/.git/ blob 次に、適当な文字列を保存します。 $ echo '適当

    ファイルシステムとしての Git - 言語ゲーム
    hiroomi
    hiroomi 2011/01/06
  • 1