Skip to content

Instantly share code, notes, and snippets.

View albohlabs's full-sized avatar

Daniel Pfefferkorn albohlabs

View GitHub Profile
# Read: pull the changes from origin/master into my current local branch my_branch
git push origin master
# connect your repository to a remote server
git remote add origin <server>
# create a new branch
git checkout -b feature_x
# switch back
## save file
curl -O [URL]
## show headers
curl -v [URL]
## Custom Request
curl --data "<xml>" --header "Content-Type: text/xml" --request PROPFIND [URL]
# ruin the request by chopping off the Host: header:
@albohlabs
albohlabs / gist:1341352
Created November 5, 2011 10:03 — forked from padolsey/gist:527683
JavaScript: detecting versions of IE
// ----------------------------------------------------------
// A short snippet for detecting versions of IE in JavaScript
// without resorting to user-agent sniffing
// ----------------------------------------------------------
// If you're not in IE (or IE version is less than 5) then:
// ie === undefined
// If you're in IE (>=5) then you can determine which version:
// ie === 7; // IE7
// Thus, to detect IE:
// if (ie) {}
@albohlabs
albohlabs / gist:1118627
Created August 1, 2011 17:49 — forked from westonruter/gist:311373
JavaScript: jQuery fallback implementation of HTML5 placeholder attribute
if(!jQuery('<input PLACEHOLDER="1" />')[0].placeholder){ //Uppercase attr for IE
jQuery(':input[placeholder]').each(function(){
var $this = $(this);
if(!$this.val()){
$this.val($this.attr('placeholder'));
$this.addClass('input-placeholder');
}
}).live('focus', function(e){
var $this = $(this);
if($this.hasClass('input-placeholder')){