Skip to content

Instantly share code, notes, and snippets.

View arigesher's full-sized avatar

Ari Gesher arigesher

39 followers · 4 following
View GitHub Profile
@arigesher
arigesher / sparklage vecnav data.ipynb
Created October 19, 2016 00:48
Loading vecnav data from sparklage keys
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@arigesher
arigesher / sparklage vecnav data.ipynb
Created October 19, 2016 00:48
Loading vecnav data from sparklage keys
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@arigesher
arigesher / yamlprint.ipynb
Created January 26, 2018 17:39
YAML for better output formatting
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@arigesher
arigesher / gdal1-json-c-013.patch
Created May 24, 2018 22:07
GDAL 1.11.5 patch for dealing with json-c lib 0.13
diff --git a/frmts/arg/argdataset.cpp b/frmts/arg/argdataset.cpp
index 5a7e646..c40101a 100644
--- a/frmts/arg/argdataset.cpp
+++ b/frmts/arg/argdataset.cpp
@@ -55,6 +55,10 @@ static float CPLNaN(void)
# endif
#endif
+#ifndef error_ptr
+#define error_ptr(error) ((void*)error)
@arigesher
arigesher / trigger_build.bash
Created May 22, 2019 18:42
CircleCI manual trigger
#!/bin/bash -e
# Usage:
#
# 1. set $CIRCLE_API_TOKEN
# 2. run `./trigger-build <account> <oroject> [<branch>]`
#
# For https://github.com/iambob/myfirstproject:
#
# trigger_build iambob myfirstproject
@arigesher
arigesher / aws_instance_metadata.bash
Created January 30, 2020 19:47
bash-fu to set AWS instance metadata as environment variables
#!/bin/bash -x
_JQ_FILTER='.ds | .dynamic | .["instance-identity"] | .document'
_INSTANCE_DATA=/var/run/cloud-init/instance-data.json
export _instance_doc=$(jq "$_JQ_FILTER" $_INSTANCE_DATA)
for key in $(echo $_instance_doc | jq -r 'keys|.[]'); do
value=$(echo $_instance_doc | jq -r .$key)
declare -x _AWS_${key^^}=${value}
done
@arigesher
arigesher / responsive-flickr-embeds
Last active October 26, 2020 08:20
JQuery code to make Flickr embeds responsive (and resize correctly when loading in a mobile browser). See http://ari.gesher.net/photos-the-gesher-world-tour/ for a working example.
$(document).ready(function() {
$("#pics iframe").each(function(index) {
var ratio = $(this).height() / $(this).width();
var origHeight = $(this).height();
var origWidth = $(this).width();
var self = this;
// bind to window with closure that references the
// iframe since the iframe doesn't get resize events
// until (you know) we resize it.
$(window).resize(function() {