pull requestでは、ファイルの更新がかち合っただけでgitHubのWebページ上では編集できなくなる。
gitHubのヒントに、コマンドベースで解決する方法は載っているが、win上でtortoiseGitを使っている場合に面倒なので解決策を記してみる。
gitHubで出てくるコマンドはこんな感じ :
using UnityEngine; | |
using UnityEditor; | |
using System.Collections; | |
public class ComponentLister : EditorWindow | |
{ | |
private Hashtable sets = new Hashtable(); | |
private Vector2 scrollPosition; |
// | |
// CCLabelTTFWithStroke.h | |
// | |
// Created by Kohashi on 2012/10/31. | |
// Copyright 2012年 __MyCompanyName__. All rights reserved. | |
// | |
#import <Foundation/Foundation.h> | |
#import "cocos2d.h" |
/** | |
* enchant.js prototype extension | |
* | |
* Copyright (c) 2012 @hako584 | |
* Dual licensed under the MIT or GPL Version 3 licenses | |
*/ | |
/** |
rem gyazowinR.bat | |
rem Gyazo client for Windows (Ruby script version) | |
rem by snaka (http://d.hatena.ne.jp/snaka72/) | |
ruby -x "%~f0" "%~s1" | |
pause | |
exit | |
#! ruby | |
require 'net/http' |
原文:Scaling Isomorphic Javascript Code (This is just for study, please contact me at tily05 atmark gmail.com if any problem.)
考えてみれば Model-View-Controller とか MVC ってよく聞くよね。実際どんなものか知ってる? 抽象的に言うなら「オブジェクト情報の保持されるグラフィック・システム (つまり、ラスターではないグラフィック。ゲームとか) 上に構築された、表示系を中心としたアプリケーションにおいて、主要な機能どうしの関わりをうまく分離すること」とでも言おうか。もう少し深く考えを押し進めてみれば、これは当然、他のさまざまなアプリケーションにもあてはまる言葉 (bucket term ?) だ。
過去に多くの開発コミュニティが MVC による解決案を提供し、それによってよくあるユースケースにうまく対処し、地位を築くことができた。例をあげるなら、Ruby や Python コミュニティは Rails や Django を作り、MVC アーキテクチャを実現した。
javascript:(function(){var r='';var FN=function(f,n){var t=f(n);return t.length?t[0].getElementsByClassName('count')[0].innerHTML:0};var DD=function(f){var d=new Date(f('js_time_repl')[0].attributes['data-time'].value);return d.getFullYear()+'/'+(d.getMonth()+1)+'/'+d.getDate()+' '+d.getHours()+':'+d.getMinutes()+':'+d.getSeconds();};var a=document.getElementsByClassName('tweetWithStats');for(var i=0;i%3ca.length;i++){var f=function(n){return a[i].getElementsByClassName(n)}; r+=FN(f,'favCount')+','+FN(f,'rtCount')+',"'+DD(f)+'","'+(f('theTweet')[0].innerText||f('theTweet')[0].textContent)+'"\r\n';};e=document.createElement('textarea');e.innerHTML=r;e.style.width='100%';e.style.height='300px';document.getElementById('streamTitle').appendChild(e);})(); |
<?php | |
/** | |
* Returns a html to preload images using jQuery. | |
* | |
* @param array $urls An array of image URLs | |
* @return string HTML contents | |
*/ | |
function preload_images($urls) | |
{ | |
if (!is_array($urls)) { |