$ erlc -S test.erl
### Instructions source http://tumblr.intranation.com/post/766290743/using-dropbox-git-repository #### | |
-- make empty repo on dropbox: | |
cd ~/Dropbox/RipeApps/Git | |
mkdir -p newname.git | |
cd !$ | |
git --bare init | |
-- push your junk into it | |
cd ~/Projects/myrepo |
/** | |
* Fast non-maximum suppression in C, port from | |
* http://quantombone.blogspot.com/2011/08/blazing-fast-nmsm-from-exemplar-svm.html | |
* | |
* @blackball ([email protected]) | |
*/ | |
#include <stdio.h> | |
#include <stdlib.h> | |
#include <limits.h> |
#!/bin/sh | |
### | |
# SOME COMMANDS WILL NOT WORK ON macOS (Sierra or newer) | |
# For Sierra or newer, see https://github.com/mathiasbynens/dotfiles/blob/master/.macos | |
### | |
# Alot of these configs have been taken from the various places | |
# on the web, most from here | |
# https://github.com/mathiasbynens/dotfiles/blob/5b3c8418ed42d93af2e647dc9d122f25cc034871/.osx |
#!/bin/bash | |
# | |
# 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 | |
# with different name and the same content. |
<!DOCTYPE html> | |
<html> | |
<head> | |
<title>Keen IO ♥ Histograms!</title> | |
</head> | |
<body> | |
<div id="histogram"></div> | |
<script src="http://d26b395fwzu5fz.cloudfront.net/latest/keen.min.js"></script> | |
<script> | |
!function(){ |
import java.io.BufferedReader; | |
import java.io.FileReader; | |
import java.io.IOException; | |
import java.util.ArrayList; | |
import java.util.Collections; | |
import java.util.List; | |
public class WMStats { | |
private static final String FILE_NAME = "pagecounts-20141029-230000"; |
NOTE: This guide has moved to https://github.com/bpierre/switch-to-vim-for-good
This guide is coming from an email I used to send to newcomers to Vim. It is not intended to be a complete guide, it is about how I switched myself.
My decision to switch to Vim has been made a long time ago. Coming from TextMate 1, I wanted to learn an editor that is Open Source (so I don’t lose my time learning a tool that can be killed), cross platform (so I can use it everywhere), and powerful enough (so I won’t regret TextMate). For these reasons, Vim has always been the editor I wanted to learn, but it took me several years before I did it in a way that works for me. I tried to switch progressively, using the Janus Vim distribution for a few months, then got back to using TextMate 2 for a time, waiting for the next attempt… here is what finally worked for me.
Original gist with comments: https://gist.github.com/bpierre/0a0025d348b6001394e0
awsargs="--profile aws-dev --region us-east-1" | |
now=$(date -j -f "%a %b %d %T %Z %Y" "$(date)" "+%s" 2>/dev/null); | |
oneweekago=$(expr $now - 604800); | |
aws elasticbeanstalk describe-application-versions $awsargs | \ | |
jq -r '.ApplicationVersions[] | .ApplicationName + " " + .VersionLabel + " " + .DateCreated'| \ | |
while read line ; do | |
fields=( $line ) | |
utime=$(date -j -f %Y-%m-%dT%H:%M:%S "${fields[2]};" "+%s" 2>/dev/null); | |
if [[ $utime -lt $oneweekago ]]; then | |
if [ -n "$(aws elasticbeanstalk describe-environments $awsargs \ |
about:config settings to harden the Firefox browser. Privacy and performance enhancements.
To change these settings type 'about:config' in the url bar.
Then search the setting you would like to change and modify the value. Some settings may break certain websites from functioning and
rendering normally. Some settings may also make firefox unstable.
I am not liable for any damages/loss of data.
Not all these changes are necessary and will be dependent upon your usage and hardware. Do some research on settings if you don't understand what they do. These settings are best combined with your standard privacy extensions
(HTTPS Everywhere No longer required: Enable HTTPS-Only Mode, NoScript/Request Policy, uBlock origin, agent spoofing, Privacy Badger etc), and all plugins set to "Ask To Activate".