Skip to content

Instantly share code, notes, and snippets.

/*function ping(url){
var img = new Image();
var start = new Date().getTime();
//img.src = "http://" + ip +"?t="+start;
img.src = url;
var flag = false;
img.onload = function(){
flag = true;
console.log('ok:'+url);
}
@openkitchen
openkitchen / designer.html
Last active August 29, 2015 14:12
designer
<link rel="import" href="../../salesforce/mobile-ui-elements/elements/force-ui-app/force-ui-app.html">
<link rel="import" href="../paper-button/paper-button.html">
<link rel="import" href="../paper-input/paper-input.html">
<polymer-element name="my-element">
<template>
<style>
:host {
position: absolute;
<link rel="import" href="../topeka-elements/category-images.html">
<link rel="import" href="../core-icon/core-icon.html">
<link rel="import" href="../core-icons/core-icons.html">
<link rel="import" href="../core-icons/av-icons.html">
<link rel="import" href="../paper-fab/paper-fab.html">
<link rel="import" href="../topeka-elements/category-icons.html">
<polymer-element name="my-element">
<template>
#!/bin/bash
set -e
#
# git-mv-with-history -- move/rename file or folder, with history.
#
# Moving a file in git doesn't track history, so the purpose of this
# utility is best explained from the kernel wiki:
#
# Git has a rename command git mv, but that is just for convenience.
# The effect is indistinguishable from removing the file and adding another