「かぁーっ、reset --hardしすぎたわー、かぁーっ」 っていう経験、誰でもあるだろう。俺もある。顔面蒼白である。きっとOMGとはこの時のために存在する言葉だったんだろう。 しかし我らがGit大先生にとってはそのコマンドすら、そのリポジトリという歴史上で語り継がれるひとつの史実でしかない。その証拠をお見せしよう。 2013-10-23 10:10 Tatsuro Baba o [git-rebase] Add fuga 2013-10-23 10:09 Tatsuro Baba o Add hoge 2013-10-08 09:35 Tatsuro Baba o Add picture of '平塚の海岸線' 2013-10-08 09:34 Tatsuro Baba o Write the continuance of the diary hogeとfugaという適当なコミットをし

Require Import String. Open Scope string_scope. (* 型クラスShowの定義 *) Class Show (A: Set) := { show : A -> string }. (* フィールドshowの型 *) Check @show. (* show : forall A : Set, Show A -> A -> string ((A:Set)と(s:Show A)の部分は暗黙引数となり、省略可能) *) (* string型をShowクラスのインスタンスとする *) Instance ShowString : Show string := { show s := s }. (* bool型をShowクラスのインスタンスとする *) Instance ShowBool : Show bool := { show b := match b

概要 lessのman見てたら便利っぽいの見つけたからまとめる 内容 自分がドキュメントのどこらへんを見てるのか表示する(-m) less -m で↑のスクショの左下のようにドキュメントのどこらへんにいるかをパーセンテージで表示する 自分が見てる行数やそのパーセンテージや開いてるファイル名を表示する(-M) less -M で↑のスクショの左下のように行数と -m 同様なパーセンテージと開いているファイル名を表示する ドキュメント内検索する時に検索ワードに大文字が入ってない限り大文字小文字を区別しない(-i) less -i でドキュメントを開くと、ドキュメント内検索する時に検索ワードに大文字が入ってない限り大文字小文字を区別しない。 つまり、 ↓のようなドキュメントを開いている時に /test で検索したら全部ヒットするが /Test で検索するとTest しかヒットしない ANSI C

皆さん環境構築とか、システムの設定作業とかって、どのように作業していますか？ 古きは環境構築手順書を使って行なっていましたが、昨今の自動化ブームに伴って、 chefやcapistrano、fabricなどのツールを検討されている方も多いと思います。 ただ、最近はやりの自動化ツールって、RubyとかPythonを多少知っている必要があったり、 独自DSLや特殊な用語を覚える必要があったりと、学習コストが高くてとっつきにくくないですか？ まわりにススメても「あー便利そうだねけど難しそうだね」で終わってしまうパターンが多々あります。 そこでPacifistaですよ Pacifistaは「環境構築をまるごとプログラミングする。それもシンプルに」を目的としたOSSの自動化ツールです。 Pacifistaには、以下の特徴があります。 JavaScriptでコードを書く事が出来る。 JavaScript

最新の類似投稿としてシェルスクリプトのコーディングルール2014も併せてどうぞ。 2014/10/09追記 ぼくがシェルスクリプトを書くときに気にしていること、過去の失敗で書き留めたことを忘れないために。 1. グローバル変数は大文字 PATH や HOME など、環境変数が大文字なので、エクスポートする変数を大文字で書くという習慣は一般的であるような気がしますが、エクスポートする変数を抱えるシェルスクリプトを作成する機会が稀なので。 グローバル変数は大文字 ローカル変数は小文字 エクスポートする変数も大文字 関数内からグローバル変数にアクセスする場合がありますが、やはり区別していると、可読性が増すような気がするのでお勧めです。 2. awk を知る Unix 上にて文書処理をするときに、数多くのフィルタコマンド（grep、cut、tr、head、sort、uniq、sed、awk、wc、

英語コミットコメントに使えそうなオシャレフレーズを聞いたので、これを使ってドヤ顔コミットをしたくてやれるチャンスを虎視眈々と狙う毎日です v, x, g, z とかこのへんが入ってる単語だとなんかカッコ良さ増す。 tweak とかデザイナーにはだいぶ便利。 単語 意味

この記事で言いたいこと git rebase masterで、現在のブランチのコミットをすべてmasterに適応できる。 コミットを一つずつ適応するため、一度に解決すべき競合が少なくなる。 また、履歴が一本化できるため後から見直したときにわかりやすい履歴になる。 ブランチがこんがらがる 複数のブランチを切って作業していると、 マージがあちらこちらで行われるため、入り組んで見にくくなります。 こういう時に役立つのが、git rebase です。 このコマンドは、現在のブランチと指定したブランチとが分岐し始めたコミットを探し、 そこから現在までのすべてのコミットを、指定したブランチの最新の状態に適応し直します。 例 例をあげると、 Masterのコミットm1 m2 m3 m4があるとします。 さらに、m2から派生したbranch_Aのm2-a1 m2-a2 m2-a3と、 m2-a1から派生し

つまりhtml, head, bodyなどの使い慣れたお決まりのタグは今更書くまでもないということ。 参考: どのようなタグが省略可能か http://www.whatwg.org/specs/web-apps/current-work/multipage/syntax.html#syntax-tag-omission P.S. STORYS.JP、 coincheck などのサービスを運営、開発しています。興味のある方はぜひ 和田まで連絡を！ Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark themeWhat you can

ちょうどいくつかプレゼン用の資料を作らなきゃと思っていてなんかいいテンプレートないかな〜って探していたらのでreveal.jsが超絶に良かったのでメモ reveal.js htmlで綺麗でカッコいいプレゼンテーションを作れるフレームワークです。 3Dでグィングィン動きます デモ画面見ればどんな風にグィングィン動くかわかります（開いたら右スクロールボタンを押してみてください） Escキー押すとプレゼンテーションのドキュメント一覧が見れます それがまたカッコよく3Dでみれます。 PDFへのエキスポートが楽チンです 書いたドキュメントをプリントしてメンバーに配布とかってシーンがあるとおもいますが reveal.jsなら綺麗にできます。 使い方 zipパッケージで落としてくる hakimel/reveal.jsにいって 「Download ZIP」をポチッと押します。 書きたい内容をindex.h

あるファイルに大量のコンフリクトが発生し解決が面倒なとき、パッチを使ってファイルに1コミットずつ変更を適用する方法を示す。この方法のメリットは： ファイルへの変更を1コミットずつ適用・コンフリクト解決することができる それぞれのコミットを適用する前に、コミットをパッチファイルの形で編集できる 注目するファイル以外への変更をいったん無視し、そのファイルに関係する変更に集中できる の3点である。複数コミットの変更が混ざった大量のコンフリクトマーカーを手作業で消すような状況に陥ったとき、この方法を使えばいくぶんかは楽にマージ作業を進められる。 概要 マージ中に特定のファイルに大量のコンフリクトが起きたら、マージを中止する。一時作業用ブランチを作り、そのファイルに1コミットずつパッチを当てて編集する。パッチを当て終わったらマージをやり直し、コンフリクト解決作業中に、コンフリクトしたファイルを一時作

このテキストは JavaScript のコールバック地獄に疲れたひとのためのコールバック駆逐術指南書です。対象読者は JavaScript道初段くらいの人です。このテキストを読むと、以下のそれぞれの手段における非同期処理制御の仕組み、利点および欠点がわかるようになるかもしれません。 コールバック地獄 jQuery.Deferred async.js Concurrent.Thread generators co fibers Web Workers (※なぜか『進撃の巨人』の一部ネタバレが含まれるので注意してください) それは『何故人はコールバックするのか』という話でしょうか？ 非同期処理って面倒ですよね。JavaScriptではいわゆる コールバック地獄 というやつにしばしば陥りがちです。たとえば、Ajax でふたつのファイル hoge.txt と piyo.txt を持ってきて、それら

〔提案に対して〕いいと思う；問題ないと思う；〔コードレビュアーが、問題ないコードに対して〕レビュー終了；（コードの）承認

iOSアプリ開発で自分がよく使うツールとサービスについてまとめてみました。 BaaS: Parse.com ソーシャルな機能は持たせたいけどサーバ作るのだるい、そんなアプリ開発者の味方がBaaS(Backend as a Service)です。最近熱いですね。Kinvey, StackMobなども試してみましたが、機能的にも料金的にも一番おすすめなのがParse.comです。100万APIまで無料、100万〜1500万APIまで$199という価格設定です。サーバは書くのが嫌というよりデプロイがめんどいくさいんですよね。BaaSなら一瞬でアクティブになりますので捗ります。 リファレンス: Dash 高速にリファレンスを検索したい時、Dashが使えます。 iOS以外にもjQuery,Android,Rails等ひと通り揃っています。 リポジトリ: github リポジトリは何でも言いっちゃ何で

Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark themeWhat you can do with signing up