タグ

2009年4月18日のブックマーク (5件)

  • Git ユーザマニュアル (バージョン 1.5.3 以降用)

    (訳注:この資料は、http://www.kernel.org/pub/software/scm/git/docs/user-manual.html に掲載されている 内容を日語訳したものです。 英語が得意でないので、誤訳があるかもしれません。 必要な場合は、原文を参照してください。) git は高速な分散リビジョン管理システムです。 このマニュアルは、基的な UNIX コマンドのスキルをもった人が読むことを想定していますが、 git に関する前提知識は必要ありません。 Chapter 1, リポジトリとブランチ と Chapter 2, 履歴の探索 では git を使用してプロジェクトを取得・調査する方法を説明します。 — これらの章を読むことで、ソフトウェアプロジェクトの特定のバージョンをビルドして テストしたり、回帰点を探し出す方法などを習得してください。 実際に開発する必要のあ

    sshi
    sshi 2009/04/18
  • 演習3-3

    English 米澤研究室 にて、型推論のある言語におけるオーバーロードについて調べました。 発表資料 An introduction to G'CAML (2003/6/26) OCaml へ generic binding という拡張機能を付け加えることでオーバーローディングを実現した G'CAML という処理系について。構文の説明と、単純なgeneric printだけでなく、 型構造上の再帰や可変個引数関数の実現など、面白いことができますよ~的紹介。 implementation of G'CAML (2003/7/3) G'CAML の実装と、型安全性の証明方針について。 型情報を暗黙の引数として渡すことで実行時に適切な実装を選択するらしい。 高速化のために工夫もされているそうです。 Type Classes (2003/7/10) Haskell (Hugs/GHC) の型クラ

    sshi
    sshi 2009/04/18
    kinabaさんのGCaml紹介資料?
  • 北海道爆破 / Mercurial から Git に移行した

    sshi
    sshi 2009/04/18
  • gitで登録不用なファイルをGlobalに設定する - Seasons.NET

    Mercurialもそうですが、gitで登録する際に不用なファイルを いちいち手作業でignore扱いにするのはせっかくの生産性向上ツールが 非生産性ツールになってしまいます。 てなわけで、このコマンドを実行して、グローバルに設定しましょう git config --global --add core.excludesfile "$HOME/.gitignore" この後、.gitignoreを作成して、vimとかで編集します。 んで僕が作ったignoreリストは、これ。 *.o *.o-> *.o~? *.pbxbtree *.pbxsymbols *.hmap *.dep *.header *.obj *.pch *.ncb *.pdb *.ilk *.manifest *.exe *.lib *.dll *.cache control strings *.LinkFileList .

    gitで登録不用なファイルをGlobalに設定する - Seasons.NET
    sshi
    sshi 2009/04/18
    .gitignoreのグローバル設定/リポジトリごとにちまちま.gitignoreをおいとくほうがいいような気もしなくもない/独立させたかったらそうすりゃいいだけの話か?
  • Big Sky :: SSHポートが通らなくてもgithub.comにpushする方法

    « ニコニコ動画をダウンロード出来るPerlモジュールWWW::NicoVideo::Downloadを試してみた。 | Main | ニコニコ動画をダウンロード出来るプログラムをC言語で作ってみた。 » 皆さん既に知ってたら御免なさい。ずっと知らなかったのでgithubには手を付けてませんでした。 githubは、cloneするとき # git clone git://github.com/yappo/konnitiwa.git の代わりに # git clone http://github.com/yappo/konnitiwa.git とgitをhttpにするとclone出来るのは知っていたのですが、pushはsshを使うのでport 22が開いてないとpush出来ない物と信じ込んでいました。 が、今日解決しました。以下私がWindowsで行った手順 Windowsじゃない人は最初の

    Big Sky :: SSHポートが通らなくてもgithub.comにpushする方法
    sshi
    sshi 2009/04/18