はてなブックマーク

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

「作業を楽しくすることは生産性の向上につながる」という信念のもとに、 commitするたびに ポーカーで遊ぶ スクリプトを作りました。 「作業を楽しく」の方向性が完全に斜め上ですが気にしてはいけません。 作るもの commit後に生成される、short hash値7桁の英数文字列を7枚のカードに見立ててポーカーを行う commitのたびに役を自動判定、メッセージを表示する hash値ポーカー　ルール テキサスホールデムに準じ、7枚中任意の5枚で作られる役のうち最強のものを手役とする カードは数字0~9,アルファベット小文字a~fの計16種。強弱もこの順 トランプと違ってマークが無いので,フラッシュ系の役は無し ペア形はできやすい反面、16種もあるのでストレートが最難関（なはず。。。ちゃんと検証してないけど） というわけで役の強さは ストレート > ファイブカード(笑) > フォーカード >

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

つい先日、GitHubで管理していたテスト用中央ブランチに、チームメンバーが誤ってgit push --forceしてしまい、 一部の歴史が消失するという事件が起きました。 ぎゃあああ！なんばしよっとね！うっかりでしたじゃ済まんばい！ とか思っていたらJenkinsの開発者みたいなスゴい人でもやらかしちゃうみたいです。 Jenkinsの開発者、間違えて一ヶ月前のローカルレポジトリをgit push --forceしてしまう http://cpplover.blogspot.jp/2013/11/jenkinsgit-push-force.html スゴい人でもやらかすんだから、平民の我々もそのうちやらかすに違いない。 緊急バグ修正などで慌てていたら尚更ですね。（というか自分が一番やりかねない） というわけで、何とか仕組みの上で防くことができればと思って仕掛けることにしました。 以下のスクリ

# !/bin/sh set -e set -u # アプリケーションのルートディレクトリを指定 APPLICATION_ROOT="/your/project/path" # オプション設定 # 下記はデフォルトの値。変更したい場合は適宜編集 # ENVIRONMENT = test/development/production のいずれか。 PORT="3000" BINDING_IP="0.0.0.0" ENVIRONMENT="development" start () { cd ${APPLICATION_ROOT} rails server --daemon --binding=${BINDING_IP} --port=${PORT} --environment=${ENVIRONMENT} } stop () { cat ${APPLICATION_ROOT}/tmp/pid

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

git shortlog --since="$(date +"%Y-%m-%d") 00:00:00" --no-merges -sn 解説 git shortlogの--sinceオプションに、dateコマンドで”今日の00:00:00”を渡してやります。 --no-mergesオプションでマージコミットを除き、-sオプションでコミッター毎にまとめて、-nオプションでコミット数順に並びます。 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

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?