wget -c https://repo.percona.com/apt/percona-release_0.1-4.$(lsb_release -sc)_all.deb
var gulp = require('gulp'); | |
var exec = require('child_process').exec; | |
gulp.task('watch',function(){ | |
gulp.watch("./src/**/*.php").on('change',function(event){ | |
var command = "php-cs-fixer fix " + event.path + " --config-file=" + __dirname + "/.php_cs" | |
exec(command); | |
console.log("execute command: "+command); | |
}) | |
}); |
<html> | |
<!-- See also: http://kempe.net/blog/2014/06/14/leaflet-pan-zoom-image.html --> | |
<head> | |
<link rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css"></script> | |
<style> | |
#image-map { | |
width: 100%; | |
height: 300px; | |
border: 1px solid #ccc; | |
margin-bottom: 10px; |
// Determine if an element is in the visible viewport | |
function isInViewport(element) { | |
var rect = element.getBoundingClientRect(); | |
var html = document.documentElement; | |
return ( | |
rect.top >= 0 && | |
rect.left >= 0 && | |
rect.bottom <= (window.innerHeight || html.clientHeight) && | |
rect.right <= (window.innerWidth || html.clientWidth) | |
); |
#!/usr/bin/env bash | |
# MIT © Sindre Sorhus - sindresorhus.com | |
# git hook to run a command after `git pull` if a specified file was changed | |
# Run `chmod +x post-merge` to make it executable then put it into `.git/hooks/`. | |
changed_files="$(git diff-tree -r --name-only --no-commit-id ORIG_HEAD HEAD)" | |
check_run() { | |
echo "$changed_files" | grep --quiet "$1" && eval "$2" |
<?php | |
interface Worker | |
{ | |
public function getCommand(); | |
public function done($stdout, $stderr); | |
public function fail($stdout, $stderr, $status); | |
} |
I have always struggled with getting all the various share buttons from Facebook, Twitter, Google Plus, Pinterest, etc to align correctly and to not look like a tacky explosion of buttons. Seeing a number of sites rolling their own share buttons with counts, for example The Next Web I decided to look into the various APIs on how to simply return the share count.
If you want to roll up all of these into a single jQuery plugin check out Sharrre
Many of these API calls and methods are undocumented, so anticipate that they will change in the future. Also, if you are planning on rolling these out across a site I would recommend creating a simple endpoint that periodically caches results from all of the APIs so that you are not overloading the services will requests.
<?php | |
/* Gets individual core information */ | |
function GetCoreInformation() { | |
$data = file('/proc/stat'); | |
$cores = array(); | |
foreach( $data as $line ) { | |
if( preg_match('/^cpu[0-9]/', $line) ) | |
{ | |
$info = explode(' ', $line ); | |
$cores[] = array( |
// Simple JavaScript Templating | |
// John Resig - http://ejohn.org/ - MIT Licensed | |
(function(){ | |
var cache = {}; | |
this.tmpl = function tmpl(str, data){ | |
// Figure out if we're getting a template, or if we need to | |
// load the template - and be sure to cache the result. | |
var fn = !/\W/.test(str) ? | |
cache[str] = cache[str] || |
#Four Ways To Do Pub/Sub With jQuery and jQuery UI (in the future)
Between jQuery 1.7 and some of work going into future versions of jQuery UI, there are a ton of hot new ways for you to get your publish/subscribe on. Here are just four of them, three of which are new.
(PS: If you're unfamiliar with pub/sub, read the guide to it that Julian Aubourg and I wrote here http://msdn.microsoft.com/en-us/scriptjunkie/hh201955.aspx)
##Option 1: Using jQuery 1.7's $.Callbacks() feature: